]>
Commit | Line | Data |
---|---|---|
35305a49 AS |
1 | #!/bin/sh |
2 | # | |
3 | # This installs libtre in $HOME, | |
4 | ||
a8b2ad8d | 5 | TRE_VERSION=0.7.5 |
35305a49 AS |
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 |