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 | |
| parent | 3b4b79215b124cc7072e81bc79efdb76927e7100 (diff) | |
| download | klee-90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f.tar.gz | |
Modified Travis-CI script to compile STP with BOOST support
| -rw-r--r-- | .travis.yml | 3 | ||||
| -rwxr-xr-x | .travis/stp.sh | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index f6034540..9c0ca814 100644 --- a/.travis.yml +++ b/.travis.yml @@ -97,12 +97,13 @@ addons: packages: - gcc-4.8 - g++-4.8 + - libboost-program-options-dev - libcap-dev - libedit-dev - libselinux1-dev - cmake -cache: +cache: apt: true directories: - $HOME/Library/Caches/Homebrew 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 |