diff options
| author | Dave Beckett <dave@dajobe.org> | 2015-07-20 16:58:50 +0200 |
|---|---|---|
| committer | Dave Beckett <dave@dajobe.org> | 2015-07-20 16:58:50 +0200 |
| commit | e02d2c43ad2c3e2ba5a9279861c943c9559f967e (patch) | |
| tree | 977936ef93fc3cf3ce097acebf5bdc1aee65fdf2 /scripts/install-bison3.sh | |
| parent | 18e2e511e5e10d9a6b9abae9e3676dd6ce9ab8f9 (diff) | |
| download | raptor-e02d2c43ad2c3e2ba5a9279861c943c9559f967e.tar.gz | |
Make Travis-CI run in a container
Diffstat (limited to 'scripts/install-bison3.sh')
| -rwxr-xr-x | scripts/install-bison3.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/install-bison3.sh b/scripts/install-bison3.sh index 52fa0ed1..ff351830 100755 --- a/scripts/install-bison3.sh +++ b/scripts/install-bison3.sh @@ -1,5 +1,9 @@ #!/bin/sh # Helper script to install bison 3 (primarily for travis CI) +# +# USAGE: install-bison3.sh INSTALL-PREFIX + +INSTALL_PREFIX="$1" set -x @@ -27,10 +31,12 @@ installed_version_dec=`echo $installed_version | $AWK -F. '{printf("%d\n", 10000 min_version_dec=`echo $MIN_VERSION | $AWK -F. '{printf("%d\n", 10000*$1 + 100*$2 + $3)};'` if test $installed_version_dec -ge $min_version_dec; then echo "$PACKAGE $installed_version is new enough" +elif [ -d $INSTALL_PREFIX ]; then + echo "Using cached installation of $PACKAGE at $INSTALL_PREFIX" else mkdir $BUILD_DIR && cd $BUILD_DIR $WGET -O $FILE $URL || $CURL -o $FILE $URL tar -x -z -f $FILE && rm $FILE - cd $PACKAGE-$INSTALL_VERSION && ./configure --prefix=/usr && make && sudo make install + cd $PACKAGE-$INSTALL_VERSION && ./configure --prefix=$INSTALL_PREFIX && make && make install cd / && rm -rf $BUILD_DIR fi |