1 files changed, 25 insertions, 0 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc
new file mode 100644
index 00000000..a19e6a3b
--- /dev/null
+++ b/scripts/build/p-klee-linux-ubuntu.inc
@@ -0,0 +1,25 @@
+install_build_dependencies_klee() {
+  apt update -y
+
+  dependencies=(
+    build-essential
+    cmake
+    python-pip #for lit
+    python-setuptools #for lit
+    python-wheel #for lit
+    zlib1g-dev
+    python3
+    python3-setuptools
+    python3-pip
+    python3-wheel
+  )
+
+  if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then
+    dependencies+=(lcov curl)
+  fi
+
+  apt -y --no-install-recommends install "${dependencies[@]}"
+
+  pip3 install lit
+  pip3 install tabulate
+}