begriffs open source - libderp/blob - install.sh

   1 #!/bin/sh
   2 set -eu
   3
   4 MAJOR_VER=0
   5 MINOR_VER=0
   6 PATCH_VER=0
   7
   8 if [ $# -lt 1 ]
   9 then
  10         if [ -d /opt ]
  11         then
  12                 DEST=/opt
  13         else
  14                 DEST=/usr/local
  15         fi
  16 else
  17         DEST=$1
  18 fi
  19
  20 if [ ! -d "$DEST" ]
  21 then
  22         printf "ERROR: Destination directory '%s' does not exist\n" "$DEST"
  23         exit 1
  24 fi
  25 PREFIX="$DEST/libderp.$MAJOR_VER.$MINOR_VER.$PATCH_VER"
  26
  27 if [ -d "$PREFIX" ]
  28 then
  29         printf "ERROR: Directory already exists: %s\n" $PREFIX
  30         echo Remove it and run script again to reinstall.
  31         exit 1
  32 fi
  33
  34 if [ ! -f build/release/libderp.so ] || [ ! -f build/release/libderp.a ]
  35 then
  36         echo ERROR: Run make first to build the shared library
  37         exit 1
  38 fi
  39
  40 mkdir -p "$PREFIX/include" "$PREFIX/lib/pkgconfig" "$PREFIX/man"
  41 rm -f "$DEST/libderp"
  42 ln -s "$PREFIX" "$DEST/libderp"
  43
  44 cp -R include/derp "$PREFIX/include"
  45 cp build/release/*.so build/release/*.a "$PREFIX/lib"
  46
  47 m4 libderp.pc -D PREFIX="$PREFIX" \
  48         -D MAJOR="$MAJOR_VER" -D MINOR="$MINOR_VER" -D PATCH="$PATCH_VER" \
  49         > "$PREFIX/lib/pkgconfig/libderp.pc"
  50
  51 echo "Libderp $MAJOR_VER.$MINOR_VER.$PATCH_VER installed."
  52 echo
  53 echo "To use with pkg-config\n\tadd $DEST/libderp/lib/pkgconfig to PKG_CONFIG_PATH"
  54 echo "To view man pages\n\tadd $DEST/libderp/man to MANPATH"