diff options
Diffstat (limited to 'scripts/build/p-metasmt.inc')
| -rw-r--r-- | scripts/build/p-metasmt.inc | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/scripts/build/p-metasmt.inc b/scripts/build/p-metasmt.inc index 7ba2d471..559a0aae 100644 --- a/scripts/build/p-metasmt.inc +++ b/scripts/build/p-metasmt.inc @@ -16,11 +16,15 @@ download_metasmt() { } build_metasmt() { + # MetaSMT might need to cherry-pick some git commits, but git requires email and user to be set to do this operation + # Provide a temporary value for this + export GIT_COMMITTER_EMAIL="foo@bar" + export GIT_COMMITTER_NAME="foobar" cd "${METASMT_SRC_PATH}" ./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off \ - --build stp-git-basic --build boolector-2.2.0 --build minisat-git \ - --build lingeling-ayv-86bf266-140429 --build yices-2.5.1 --build Z3-4.4.1 \ - --build cvc4-1.5 \ + --build stp-git-basic --build boolector-3.0.0 --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}/" \ --install "${METASMT_INSTALL_PATH}/" \ -j "$(nproc)" \ |