diff options
Diffstat (limited to 'source4/script/installlib.sh')
| -rwxr-xr-x | source4/script/installlib.sh | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/source4/script/installlib.sh b/source4/script/installlib.sh new file mode 100755 index 0000000000..962c9562b1 --- /dev/null +++ b/source4/script/installlib.sh @@ -0,0 +1,30 @@ +#!/bin/sh + +LIBDIR=$1 +SHLIBEXT=$2 + +shift +shift + +for p in $*; do + p2=`basename $p` + lnname=`echo $p2 | sed -e "s/\.$SHLIBEXT.*/.$SHLIBEXT/"` + 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/ + ln -sf $p2 $LIBDIR/$lnname +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 |