1 files changed, 14 insertions, 0 deletions
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