tools/tre_install.sh

   1 #!/bin/sh
   2 #
   3 # This installs libtre in $HOME,
   4
   5 TRE_VERSION=0.7.5
   6 MAKE="make"
   7
   8 OLD_DIR=`pwd`
   9 SELF_DIR=`dirname $0`
  10
  11 cd $SELF_DIR
  12 cp tre.tar.gz tre.tar.gz.bak
  13 gunzip -f tre.tar.gz
  14 cp tre.tar.gz.bak tre.tar.gz
  15 tar xf tre.tar
  16
  17 cd $OLD_DIR/$SELF_DIR/tre-$TRE_VERSION
  18 ./configure --disable-agrep --disable-shared --disable-system-abi --disable-wchar --disable-multibyte --prefix=$HOME
  19 $MAKE || exit 1
  20 $MAKE install || exit 1
  21 cd $OLD_DIR
  22
  23 echo ""
  24 echo "LibTRE is now installed in $HOME/include and $HOME/lib. You may now configure X3."
  25