diff options
Diffstat (limited to 'scripts/build/v-klee.inc')
| -rw-r--r-- | scripts/build/v-klee.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/v-klee.inc b/scripts/build/v-klee.inc index 60b4a498..78c4e1d1 100644 --- a/scripts/build/v-klee.inc +++ b/scripts/build/v-klee.inc @@ -16,7 +16,7 @@ required_variables_check_klee() { # On which artifacts does KLEE depend on artifact_dependency_klee(){ - local dependencies=("llvm" "solvers" "gtest" "sqlite") + local dependencies=("llvm" "solvers" "gtest" "sqlite" "cmake") if [[ "${OS}" != "osx" ]]; then dependencies+=(uclibc) fi |