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.

1 files changed, 0 insertions, 35 deletions

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
-}