diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-20 15:29:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 11:50:10 +0000 |
| commit | 1ffef7b5a0bf78bd4b4a31c626f20e150229d814 (patch) | |
| tree | 88720bf42b1564b4875b6adfad34e91ac5d70efb /.travis/stp.sh | |
| parent | 1ffda389d8d20c212884b8a669ebb4cb24f1fa01 (diff) | |
| download | klee-1ffef7b5a0bf78bd4b4a31c626f20e150229d814.tar.gz | |
[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan builds
of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build.
Diffstat (limited to '.travis/stp.sh')
| -rwxr-xr-x | .travis/stp.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.travis/stp.sh b/.travis/stp.sh index 53b7b6bc..4cc55c62 100755 --- a/.travis/stp.sh +++ b/.travis/stp.sh @@ -6,12 +6,17 @@ set -e STP_LOG="$(pwd)/stp-build.log" if [ "x${STP_VERSION}" != "x" ]; then + # Get Sanitizer flags + source ${KLEE_SRC}/.travis/sanitizer_flags.sh + # Build minisat git clone https://github.com/stp/minisat cd minisat mkdir build cd build MINISAT_DIR=`pwd` + CFLAGS="${SANITIZER_C_FLAGS}" \ + CXXFLAGS="${SANITIZER_CXX_FLAGS}" \ cmake -DCMAKE_INSTALL_PREFIX=/usr .. make sudo make install @@ -23,6 +28,8 @@ if [ "x${STP_VERSION}" != "x" ]; then cd build # Disabling building of shared libs is a workaround. # Don't build against boost because that is broken when mixing packaged boost libraries and gcc 4.8 + CFLAGS="${SANITIZER_C_FLAGS}" \ + CXXFLAGS="${SANITIZER_CXX_FLAGS}" \ cmake -DBUILD_SHARED_LIBS:BOOL=OFF -DENABLE_PYTHON_INTERFACE:BOOL=OFF -DNO_BOOST:BOOL=ON ../src set +e # Do not exit if build fails because we need to display the log |