From 07deecf58adad20fbc44b9b74dbac1e65e2b6647 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 28 Sep 2020 16:49:00 +0100
Subject: Add check if KLEE is installed

---
 scripts/build/p-klee.inc | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'scripts')

diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index 0df3a257..4c56b0e0 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -185,6 +185,8 @@ fi
 
   source "${KLEE_BUILD_DIR}/.build_command"
   make -j$(nproc) || make || return 1
+
+  touch "${KLEE_BUILD_DIR}/.is_installed"
 }
 
 install_klee() {
@@ -213,3 +215,15 @@ get_build_artifacts_klee() {
     echo "${KLEE_BUILD_DIR}"
   )
 }
+
+# Check if the binary artifact is installed
+is_installed_klee() {
+  (
+    setup_build_variables_klee
+    [[ -f "${KLEE_BUILD_DIR}"/.is_installed ]]
+  ) || return 1
+}
+
+setup_artifact_variables_klee() {
+  setup_build_variables_klee
+}
\ No newline at end of file
-- 
cgit 1.4.1