diff options
| -rwxr-xr-x | dist/travis-ci.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index cc0bbc3..d0f356b 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -7,19 +7,18 @@ set -e CDIR=$PWD # Prepare +prefix="$CDIR/install-$1" +mkdir "$prefix" mkdir build-$1 -mkdir install-$1 cd build-$1 # Configure case "$1" in mcode) - ../configure --prefix=$CDIR/install-mcode64 - ;; + ../configure --prefix="$prefix" ;; llvm) - ../configure --prefix=$CDIR/install-llvm --with-llvm-config=llvm-config-3.5 - ;; + ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.5 ;; *) echo "unknown build $1" @@ -33,7 +32,7 @@ make install cd .. # Test -export GHDL=$CDIR/install-$1/bin/ghdl +export GHDL="$CDIR/install-$1/bin/ghdl" cd testsuite gnatmake get_entities ./testsuite.sh |