about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-01-23 15:33:26 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-02-13 17:39:21 +0000
commit426f501aed1125b048daefb8b3ccfecaea201d45 (patch)
tree4f806762ace88a93773f00be155a9eab4cfedaa2 /scripts
parentef364f008625e67810ec3961a74fe040defd25b0 (diff)
downloadklee-426f501aed1125b048daefb8b3ccfecaea201d45.tar.gz
Use system's boost when building metasmt and user newer boolector version
Diffstat (limited to 'scripts')
-rw-r--r--scripts/build/p-metasmt.inc3
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}/" \