1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/build/p-z3-linux-ubuntu.inc b/scripts/build/p-z3-linux-ubuntu.inc
new file mode 100644
index 00000000..2a46ac46
--- /dev/null
+++ b/scripts/build/p-z3-linux-ubuntu.inc
@@ -0,0 +1,15 @@
+# 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