From dd4954f5937daa1aada5949f3ed711b9e55b07e0 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 4 Apr 2019 11:15:34 +0100 Subject: 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 --- scripts/build/p-metasmt-linux-ubuntu-16.04.inc | 2 ++ 1 file changed, 2 insertions(+) (limited to 'scripts/build/p-metasmt-linux-ubuntu-16.04.inc') 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 -- cgit 1.4.1