From dbda156217c532a7e1a65e8c216e593a64c0b8fc Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Jan 2020 15:25:45 +0000
Subject: Update ubuntu build dependencies for KLEE

Build dependencies for different components were tied to a specific Ubuntu version (16.04).
Although, they are the same for newer versions as well.

By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well.

Do some minor cleaning up.
---
 scripts/build/p-sqlite-linux-ubuntu-16.04.inc | 35 ---------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 scripts/build/p-sqlite-linux-ubuntu-16.04.inc

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

diff --git a/scripts/build/p-sqlite-linux-ubuntu-16.04.inc b/scripts/build/p-sqlite-linux-ubuntu-16.04.inc
deleted file mode 100644
index ee5531a2..00000000
--- a/scripts/build/p-sqlite-linux-ubuntu-16.04.inc
+++ /dev/null
@@ -1,35 +0,0 @@
-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
-}
-- 
cgit 1.4.1