1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/build/p-z3-linux-ubuntu-16.04.inc b/scripts/build/p-z3-linux-ubuntu-16.04.inc
new file mode 100644
index 00000000..2f5e4086
--- /dev/null
+++ b/scripts/build/p-z3-linux-ubuntu-16.04.inc
@@ -0,0 +1,16 @@
+# Build dependencies Z3
+install_build_dependencies_z3() { 
+  apt update -y
+
+  dependencies=(
+    build-essential
+
+	python
+    git
+    wget
+    ca-certificates
+  )
+
+  #Install essential dependencies
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
\ No newline at end of file