diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:33:26 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | 426f501aed1125b048daefb8b3ccfecaea201d45 (patch) | |
| tree | 4f806762ace88a93773f00be155a9eab4cfedaa2 | |
| parent | ef364f008625e67810ec3961a74fe040defd25b0 (diff) | |
| download | klee-426f501aed1125b048daefb8b3ccfecaea201d45.tar.gz | |
Use system's boost when building metasmt and user newer boolector version
| -rw-r--r-- | scripts/build/p-metasmt.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/p-metasmt.inc b/scripts/build/p-metasmt.inc index 559a0aae..95a7f6a7 100644 --- a/scripts/build/p-metasmt.inc +++ b/scripts/build/p-metasmt.inc @@ -20,9 +20,10 @@ build_metasmt() { # Provide a temporary value for this export GIT_COMMITTER_EMAIL="foo@bar" export GIT_COMMITTER_NAME="foobar" + export BOOST_ROOT="/usr/include/" cd "${METASMT_SRC_PATH}" ./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off \ - --build stp-git-basic --build boolector-3.0.0 --build minisat-git \ + --build stp-git-basic --build boolector-git --build minisat-git \ --build lingeling-bbc-9230380-161217 --build yices-2.6.1 --build Z3-4.8.4 \ --build cvc4-1.6 \ --deps "${METASMT_DEPS_PATH}/" \ |