diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-28 16:49:00 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 07deecf58adad20fbc44b9b74dbac1e65e2b6647 (patch) | |
| tree | d0f00280d1e6a758aef52f30c609e0dae827fa2f /scripts/build | |
| parent | a0e13d1ba75431266dd22f4ce7ff8036e7449cb0 (diff) | |
| download | klee-07deecf58adad20fbc44b9b74dbac1e65e2b6647.tar.gz | |
Add check if KLEE is installed
Diffstat (limited to 'scripts/build')
| -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 |