#!/bin/sh
INSTALLPERMS=$1
BASEDIR=$2
BINDIR=$3
LIBDIR=$4
VARDIR=$5
shift
shift
shift
shift
shift

for d in $BASEDIR $BINDIR $LIBDIR $VARDIR; do
if [ ! -d $d ]; then
mkdir $d
if [ ! -d $d ]; then
  echo Failed to make directory $d
  exit 1
fi
fi
done


for p in $*; do
 echo Installing $p as $BINDIR/$p
 if [ -f $BINDIR/$p ]; then
   mv $BINDIR/$p $BINDIR/$p.old
 fi
 cp $p $BINDIR/$p
 chmod $INSTALLPERMS $BINDIR/$p
done


cat << EOF
======================================================================
The binaries are installed. You may restore the old binaries (if there
were any) using the command "make revert"
======================================================================
EOF

exit 0