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, 31 insertions, 0 deletions

diff --git a/scripts/build/p-sqlite-linux-ubuntu.inc b/scripts/build/p-sqlite-linux-ubuntu.inc
new file mode 100644
index 00000000..158ea41c
--- /dev/null
+++ b/scripts/build/p-sqlite-linux-ubuntu.inc
@@ -0,0 +1,31 @@
+install_build_dependencies_sqlite() { 
+  apt update -y
+
+  dependencies=(
+  build-essential
+    unzip
+    git
+    wget
+  )
+
+  apt -y --no-install-recommends install "${dependencies[@]}"
+}
+install_binary_artifact_sqlite() {
+  [[ "${SANITIZER_SUFFIX}x" == "x" ]] || return 1
+
+  apt update -y
+  dependencies=(
+    libsqlite3-dev
+  )
+  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
+  return 0
+}
+
+get_docker_config_id_sqlite() {
+  return 0
+}