1 files changed, 27 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
new file mode 100644
index 00000000..063a5cd3
--- /dev/null
+++ b/scripts/build/p-metasmt-linux-ubuntu-16.04.inc
@@ -0,0 +1,27 @@
+setup_build_variables_metasmt() {
+  return 0
+}
+
+install_build_dependencies_metasmt() {
+  apt update -y
+
+  dependencies=(
+    # libgmp, gperf (required by yices2)
+    gperf
+    libgmp-dev
+
+    build-essential
+    git
+    wget
+    ca-certificates
+    cmake
+    zlib1g-dev
+    bison
+    flex
+    unzip
+    python
+  )
+
+  #Install essential dependencies
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
\ No newline at end of file