diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/build/p-klee.inc | 14 |
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 |