diff options
| author | Tristan Gingold | 2016-01-12 20:40:30 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2016-01-12 20:40:30 +0100 |
| commit | df79c94e9ca59698e94a6252eac381e7d59f9b49 (patch) | |
| tree | 0abb0797042190e8abd48e48f057d1a080626a36 /dist/travis-ci.sh | |
| parent | 8f075593499f3ffba9b688cf214b0ed1fe66f155 (diff) | |
| download | ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.tar.gz ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.tar.bz2 ghdl-df79c94e9ca59698e94a6252eac381e7d59f9b49.zip | |
travis: Use an external script to build and test.
Diffstat (limited to 'dist/travis-ci.sh')
| -rwxr-xr-x | dist/travis-ci.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh new file mode 100755 index 0000000..87b0c46 --- /dev/null +++ b/dist/travis-ci.sh @@ -0,0 +1,15 @@ +#! /bin/sh +# This script is executed in the travis-ci environment. + +# Stop in case of error +set -e + +# Build +./configure +make + +# Test +export GHDL=$PWD/ghdl_mcode +cd testsuite +gnatmake get_entities +./testsuite.sh |