diff options
Diffstat (limited to 'scripts')
| -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}/" \ |