diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
| tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/solver-stp.sh | |
| parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
| download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz | |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/solver-stp.sh')
| -rwxr-xr-x | scripts/build/solver-stp.sh | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/scripts/build/solver-stp.sh b/scripts/build/solver-stp.sh deleted file mode 100755 index 2e65ca30..00000000 --- a/scripts/build/solver-stp.sh +++ /dev/null @@ -1,57 +0,0 @@ -#!/bin/bash -x - -# TODO: For OSX we can prepare bottled formulas for STP and minisat - -# Make sure we exit if there is a failure -set -e -DIR="$(cd "$(dirname "$0")" && pwd)" -source "${DIR}/common-defaults.sh" - -cd ${BASE} -if [ "x${STP_VERSION}" != "x" ]; then - # Build minisat - git_clone_or_update https://github.com/stp/minisat "${BASE}/minisat" - mkdir -p "${BASE}/minisat/build" - cd "${BASE}/minisat/build" - MINISAT_DIR="$(pwd)" - if [[ "$TRAVIS_OS_NAME" == "linux" || "$TRAVIS_OS_NAME" == "osx" ]]; then - CFLAGS="${SANITIZER_C_FLAGS}" \ - CXXFLAGS="${SANITIZER_CXX_FLAGS}" \ - LDFLAGS="${SANITIZER_LD_FLAGS}" \ - cmake -DCMAKE_INSTALL_PREFIX="${BASE}/minisat-install" \ - ${SANITIZER_CMAKE_C_COMPILER} \ - ${SANITIZER_CMAKE_CXX_COMPILER} \ - "${BASE}/minisat" - else - echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" - exit 1 - fi - make - make install - - # Build STP - git_clone_or_update git://github.com/stp/stp.git "${BASE}/stp-${STP_VERSION}" ${STP_VERSION} - mkdir -p "${BASE}/stp-${STP_VERSION}-build" - cd "${BASE}/stp-${STP_VERSION}-build" - - STP_CMAKE_FLAGS=( \ - "-DENABLE_PYTHON_INTERFACE:BOOL=OFF" \ - -DNO_BOOST:BOOL=ON \ - -DENABLE_PYTHON_INTERFACE:BOOL=OFF \ - ${SANITIZER_CMAKE_C_COMPILER} \ - ${SANITIZER_CMAKE_CXX_COMPILER} \ - ) - # 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}" \ - LDFLAGS="${SANITIZER_LD_FLAGS}" \ - cmake ${STP_CMAKE_FLAGS} \ - -DCMAKE_PREFIX_PATH="${BASE}/minisat-install" "${BASE}/stp-${STP_VERSION}" \ - -DCMAKE_INSTALL_PREFIX="${BASE}/stp-${STP_VERSION}-install" - make - make install -else - echo "No STP_VERSION given or empty" - exit 1 -fi |