From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 28 Feb 2019 11:56:19 +0000
Subject: Updated dependency build system for KLEE

Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.
---
 scripts/build/p-klee-linux-ubuntu-16.04.inc | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 scripts/build/p-klee-linux-ubuntu-16.04.inc

(limited to 'scripts/build/p-klee-linux-ubuntu-16.04.inc')

diff --git a/scripts/build/p-klee-linux-ubuntu-16.04.inc b/scripts/build/p-klee-linux-ubuntu-16.04.inc
new file mode 100644
index 00000000..b4ba3f33
--- /dev/null
+++ b/scripts/build/p-klee-linux-ubuntu-16.04.inc
@@ -0,0 +1,21 @@
+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
+  )
+
+  if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then
+    dependencies+=(lcov curl)
+  fi
+
+  apt -y --no-install-recommends install "${dependencies[@]}"
+
+  pip install lit
+}
\ No newline at end of file
-- 
cgit 1.4.1