aboutsummaryrefslogtreecommitdiffstats
path: root/dist/travis-ci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'dist/travis-ci.sh')
-rwxr-xr-xdist/travis-ci.sh59
1 files changed, 1 insertions, 58 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh
index 935f2894b..f3c34ae3d 100755
--- a/dist/travis-ci.sh
+++ b/dist/travis-ci.sh
@@ -1,52 +1,3 @@
-#! /bin/sh
-# This script is executed in the travis-ci environment.
-
-# Stop in case of error
-set -e
-
-CDIR=$(pwd)
-
-if [ $# -ne 0 ]; then BLD="$1"; fi
-
-# Display environment
-echo "Environment:"
-env
-
-# Prepare
-prefix="$CDIR/install-$BLD"
-mkdir "$prefix"
-mkdir "build-$BLD"
-cd "build-$BLD"
-
-# Configure
-case "$BLD" in
- mcode)
- ../configure --prefix="$prefix"
- MAKEOPTS=""
- ;;
-
- llvm-3.5)
- ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.5
- MAKEOPTS="CXX=clang++"
- ;;
-
- llvm-3.8)
- ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.8
- MAKEOPTS="CXX=clang++-3.8"
- ;;
-
- *)
- echo "unknown build $BLD"
- exit 1
- ;;
-esac
-
-# Build
-make $MAKEOPTS
-make install
-cd ..
-
-# Package
PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'`
if [ "$TRAVIS_TAG" = "" ]; then
@@ -54,13 +5,5 @@ if [ "$TRAVIS_TAG" = "" ]; then
else
PKG_TAG="$TRAVIS_TAG"
fi
-PKG_FILE="ghdl-$PKG_VER-$BLD-$PKG_TAG.tgz"
-echo "creating $PKG_FILE"
-tar -zcvf "$PKG_FILE" -C "$prefix" .
-# Test
-export GHDL="$CDIR/install-$BLD/bin/ghdl"
-cd testsuite
-gnatmake get_entities
-./testsuite.sh
-cd ..
+export PKG_FILE="ghdl-$PKG_VER-$BLD-$PKG_TAG.tgz"