diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-04-04 11:15:34 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-08 22:05:33 +0100 |
| commit | dd4954f5937daa1aada5949f3ed711b9e55b07e0 (patch) | |
| tree | 86b1162d153fd83733001982f93e03d858bf89f8 /scripts | |
| parent | 0a052d65e68b9f9736ce2f3ce5cae23c489243a7 (diff) | |
| download | klee-dd4954f5937daa1aada5949f3ed711b9e55b07e0.tar.gz | |
Use newer versions of solver components used by MetaSMT
Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/p-metasmt-linux-ubuntu-16.04.inc | 2 | ||||
| -rw-r--r-- | scripts/build/p-metasmt.inc | 10 |
2 files changed, 9 insertions, 3 deletions
diff --git a/scripts/build/p-metasmt-linux-ubuntu-16.04.inc b/scripts/build/p-metasmt-linux-ubuntu-16.04.inc index 063a5cd3..583f869a 100644 --- a/scripts/build/p-metasmt-linux-ubuntu-16.04.inc +++ b/scripts/build/p-metasmt-linux-ubuntu-16.04.inc @@ -20,6 +20,8 @@ install_build_dependencies_metasmt() { flex unzip python + autoconf + python3 ) #Install essential dependencies 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)" \ |