about summary refs log tree commit diff homepage
path: root/scripts/build/p-klee-linux-ubuntu-16.04.inc
diff options
context:
space:
mode:
authorTimotej Kapus <tk1713@ic.ac.uk>2019-03-22 16:00:29 +0000
committerMartinNowack <martin.nowack@gmail.com>2019-04-04 20:37:41 +0100
commit1e6b42fad776a56332d95b2e987bbe468794c306 (patch)
tree994da16e01566ea692b3ee0dadb2a85cf3bc98b9 /scripts/build/p-klee-linux-ubuntu-16.04.inc
parente60393614f7507c1c5fe7dbf87754d18ed4cd7d0 (diff)
downloadklee-1e6b42fad776a56332d95b2e987bbe468794c306.tar.gz
Add MSan support for sqlite
Diffstat (limited to 'scripts/build/p-klee-linux-ubuntu-16.04.inc')
-rw-r--r--scripts/build/p-klee-linux-ubuntu-16.04.inc1
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu-16.04.inc b/scripts/build/p-klee-linux-ubuntu-16.04.inc
index 5350b633..7748d104 100644
--- a/scripts/build/p-klee-linux-ubuntu-16.04.inc
+++ b/scripts/build/p-klee-linux-ubuntu-16.04.inc
@@ -4,7 +4,6 @@ install_build_dependencies_klee() {
   dependencies=(
     build-essential
     cmake
-    libsqlite3-dev
     python-pip #for lit
     python-setuptools #for lit
     python-wheel #for lit