diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:58:01 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:58:01 +0100 |
| commit | 90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f (patch) | |
| tree | 068de53837080d78cf19f61bcdc07d26ccbde4ca /.travis | |
| parent | 3b4b79215b124cc7072e81bc79efdb76927e7100 (diff) | |
| download | klee-90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f.tar.gz | |
Modified Travis-CI script to compile STP with BOOST support
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/stp.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.travis/stp.sh b/.travis/stp.sh index 6df59ebe..66e3418d 100755 --- a/.travis/stp.sh +++ b/.travis/stp.sh @@ -35,17 +35,14 @@ if [ "x${STP_VERSION}" != "x" ]; then # Determine STP build flags if [ "X${STP_VERSION}" = "Xmaster" ]; then - # 7e0b096ee79d59bb5c344b7dd4d51b5b8d226221 s/NO_BOOST/ONLY_SIMPLE/ # 5e9ca6339a2b3b000aa7a90c18601fdcf1212fe1 Silently BUILD_SHARED_LIBS removed. STATICCOMPILE does something similar STP_CMAKE_FLAGS=( \ "-DENABLE_PYTHON_INTERFACE:BOOL=OFF" \ - "-DONLY_SIMPLE:BOOL=ON" \ "-DSTATICCOMPILE:BOOL=ON" \ ) else STP_CMAKE_FLAGS=( \ "-DENABLE_PYTHON_INTERFACE:BOOL=OFF" \ - "-DNO_BOOST:BOOL=ON" \ "-DBUILD_SHARED_LIBS:BOOL=OFF" \ ) fi |