blob: 4e3d5f62c7f825c7236c0d012992b20a38312004 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/bin/sh
LIBDIR=$1
shift
for p in $*; do
p2=`basename $p`
echo Installing $p as $LIBDIR/$p2
if [ -f $LIBDIR/$p2 ]; then
rm -f $LIBDIR/$p2.old
mv $LIBDIR/$p2 $LIBDIR/$p2.old
fi
cp $p $LIBDIR/
done
cat << EOF
======================================================================
The shared libraries are installed. You may restore the old libraries (if there
were any) using the command "make revert". You may uninstall the libraries
using the command "make uninstalllib" or "make uninstall" to uninstall
binaries, man pages and shell scripts.
======================================================================
EOF
exit 0
|
