diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-08-30 15:07:31 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-08-30 15:07:31 +0200 |
| commit | 957145ef5706c6aaa10ff7b1273e24df29c9b50a (patch) | |
| tree | 3e6515b4fc9ef38c405fab2b7ef7052476f21591 /.travis/stp.sh | |
| parent | c91a035e51d2023133d4767eeb99bb8931710876 (diff) | |
| download | klee-957145ef5706c6aaa10ff7b1273e24df29c9b50a.tar.gz | |
Support KLEE with different STP versions; Disable r940
Build STP version based on provided branch. Build current STP version 2.1.0 by default and test with master branch as well
Diffstat (limited to '.travis/stp.sh')
| -rwxr-xr-x | .travis/stp.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis/stp.sh b/.travis/stp.sh index d2b4f1f1..437e825d 100755 --- a/.travis/stp.sh +++ b/.travis/stp.sh @@ -5,7 +5,7 @@ set -e STP_LOG="$(pwd)/stp-build.log" -if [ "${STP_VERSION}" == "UPSTREAM" ]; then +if [ "${STP_VERSION}" != "r940" ]; then # Build minisat git clone https://github.com/stp/minisat cd minisat @@ -18,7 +18,7 @@ if [ "${STP_VERSION}" == "UPSTREAM" ]; then cd ../../ # Build STP - git clone --depth 1 git://github.com/stp/stp.git src + git clone --depth 1 -b "${STP_VERSION}" git://github.com/stp/stp.git src mkdir build cd build # Disabling building of shared libs is a workaround. |