about summary refs log tree commit diff homepage
path: root/scripts/build/p-sqlite-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-sqlite-linux-ubuntu-16.04.inc
parente60393614f7507c1c5fe7dbf87754d18ed4cd7d0 (diff)
downloadklee-1e6b42fad776a56332d95b2e987bbe468794c306.tar.gz
Add MSan support for sqlite
Diffstat (limited to 'scripts/build/p-sqlite-linux-ubuntu-16.04.inc')
-rw-r--r--scripts/build/p-sqlite-linux-ubuntu-16.04.inc35
1 files changed, 35 insertions, 0 deletions
diff --git a/scripts/build/p-sqlite-linux-ubuntu-16.04.inc b/scripts/build/p-sqlite-linux-ubuntu-16.04.inc
new file mode 100644
index 00000000..ee5531a2
--- /dev/null
+++ b/scripts/build/p-sqlite-linux-ubuntu-16.04.inc
@@ -0,0 +1,35 @@
+install_build_dependencies_sqlite() { 
+  apt update -y
+
+  dependencies=(
+  build-essential
+    unzip
+    git
+    wget
+  )
+
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
+install_binary_artifact_sqlite() {
+
+  if [[ "${SANITIZER_SUFFIX}x" != "x" ]]; then
+    return 1
+  fi
+  apt update -y
+  
+  dependencies=(
+    libsqlite3-dev
+  )
+
+  #Install essential dependencies
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
+
+# Check if the binary artifact is installed
+is_installed_sqlite() {
+	[[ -f /usr/lib/x86_64-linux-gnu/libsqlite3.so ]] || return 1
+}
+
+get_docker_config_id_sqlite() {
+    return 0
+}