1 files changed, 31 insertions, 0 deletions
diff --git a/scripts/build/p-metasmt-linux-ubuntu.inc b/scripts/build/p-metasmt-linux-ubuntu.inc
new file mode 100644
index 00000000..1e381b78
--- /dev/null
+++ b/scripts/build/p-metasmt-linux-ubuntu.inc
@@ -0,0 +1,31 @@
+setup_build_variables_metasmt() {
+  return 0
+}
+
+install_build_dependencies_metasmt() {
+  apt update -y
+
+  dependencies=(
+    # libgmp, gperf (required by yices2)
+    gperf
+    libgmp-dev
+    libbz2-dev
+    libboost-dev
+    build-essential
+    git
+    wget
+    ca-certificates
+    cmake
+    zlib1g-dev
+    bison
+    flex
+    unzip
+    python
+    autoconf
+    python3
+    curl
+  )
+
+  #Install essential dependencies
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
\ No newline at end of file