diff options
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/metaSMT.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh index 9c21d341..ce559f8f 100755 --- a/.travis/metaSMT.sh +++ b/.travis/metaSMT.sh @@ -1,5 +1,9 @@ #!/bin/bash -x +set -e + +: ${METASMT_VERSION?"METASMT_VERSION not specified"} + # Get Boost, Z3, libgmp sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev |