#!/bin/sh
INSTALLPERMS=$1
DESTDIR=$2
prefix=`echo $3 | sed 's/\/\//\//g'`
LIBDIR=`echo $4 | sed 's/\/\//\//g'`
shift
shift
shift
shift
for d in $prefix $LIBDIR; do
if [ ! -d $DESTDIR/$d ]; then
mkdir $DESTDIR/$d
if [ ! -d $DESTDIR/$d ]; then
echo Failed to make directory $DESTDIR/$d
exit 1
fi
fi
done
mtype=`basename $LIBDIR`
for p in $*; do
p2=`basename $p`
name=`echo $p2 | sed -es/${mtype}_//`
echo Installing $p as $DESTDIR/$LIBDIR/$name
cp -f $p $DESTDIR/$LIBDIR/$name
chmod $INSTALLPERMS $DESTDIR/$LIBDIR/$name
done
exit 0