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/build/p-metasmt-linux-ubuntu-16.04.inc | |
| 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/build/p-metasmt-linux-ubuntu-16.04.inc')
| -rw-r--r-- | scripts/build/p-metasmt-linux-ubuntu-16.04.inc | 2 |
1 files changed, 2 insertions, 0 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 |