source/script/installlib.sh

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