Updated dependency build system for KLEE

Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.

1 files changed, 45 insertions, 0 deletions

diff --git a/scripts/build/p-gtest.inc b/scripts/build/p-gtest.inc
new file mode 100644
index 00000000..d4a2d498
--- /dev/null
+++ b/scripts/build/p-gtest.inc
@@ -0,0 +1,45 @@
+setup_build_variables_gtest() {
+  GTEST_INSTALL_PATH="${BASE}/googletest-release-${GTEST_VERSION}"
+  return 0
+}
+
+download_gtest() {
+  cd "${BASE}" || exit 1
+  wget "https://github.com/google/googletest/archive/release-${GTEST_VERSION}.zip"
+  unzip -o "release-${GTEST_VERSION}.zip"
+  rm "release-${GTEST_VERSION}.zip"
+  touch "${GTEST_INSTALL_PATH}"/.is_installed
+}
+
+build_gtest() {
+  return 0
+}
+
+install_gtest() {
+  return 0
+}
+
+is_installed_gtest() {
+  (
+    setup_build_variables_gtest
+    [[ -f "${GTEST_INSTALL_PATH}"/.is_installed ]]
+  )
+}
+
+get_build_artifacts_gtest() {
+  (
+    setup_build_variables_gtest
+    echo "${GTEST_INSTALL_PATH}"
+  )
+}
+
+setup_artifact_variables_gtest() {
+  setup_build_variables_gtest
+}
+
+get_docker_config_id_gtest() {
+  (
+    setup_build_variables_gtest
+    echo "${GTEST_VERSION}"
+  )
+}
\ No newline at end of file