From 1e6b42fad776a56332d95b2e987bbe468794c306 Mon Sep 17 00:00:00 2001
From: Timotej Kapus <tk1713@ic.ac.uk>
Date: Fri, 22 Mar 2019 16:00:29 +0000
Subject: Add MSan support for sqlite

---
 scripts/build/p-sqlite.inc | 55 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 scripts/build/p-sqlite.inc

(limited to 'scripts/build/p-sqlite.inc')

diff --git a/scripts/build/p-sqlite.inc b/scripts/build/p-sqlite.inc
new file mode 100644
index 00000000..8f94cc87
--- /dev/null
+++ b/scripts/build/p-sqlite.inc
@@ -0,0 +1,55 @@
+setup_build_variables_sqlite() {
+  SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-3270200"
+  SQLITE_INSTALL_PATH=${SQLITE_SRC_PATH}
+  SQLITE_SUFFIX="${SANITIZER_SUFFIX}"
+}
+
+download_sqlite() {
+  # Get sqlite release
+  cd "${BASE}"
+  wget "http://www.sqlite.org/2019/sqlite-amalgamation-3270200.zip"
+  unzip "sqlite-amalgamation-3270200.zip"
+}
+
+build_sqlite() { 
+  cd "${SQLITE_SRC_PATH}"
+
+  local CFLAGS=""
+  local COMP=${CC}
+
+  # Check if sanitizers should be used to build stp
+  if [[ "${SANITIZER_SUFFIX}x" != "x" ]]; then
+    CFLAGS="${SANITIZER_C_FLAGS[*]}"
+    COMP=${SANITIZER_C_COMPILER}
+  fi
+
+  ${COMP} ${CFLAGS} -fPIC -o libsqlite3.so -DSQLITE_THREADSAFE=0 -DSQLITE_OMIT_LOAD_EXTENSION -shared sqlite3.c 
+}
+
+install_sqlite() {
+  return 0
+}
+
+is_installed_sqlite() {
+  (
+    setup_build_variables_sqlite
+    [[ -f "${SQLITE_INSTALL_PATH}"/libsqlite3.so ]]
+  ) || return 1
+}
+
+setup_artifact_variables_sqlite() {
+  setup_build_variables_sqlite
+}
+
+
+get_docker_config_id_sqlite() {
+    setup_build_variables_sqlite
+    echo "sqlite${SQLITE_SUFFIX}"
+}
+
+get_build_artifacts_sqlite() {
+  (
+    setup_build_variables_sqlite
+    echo "${SQLITE_SRC_PATH}"
+  )
+}
-- 
cgit 1.4.1