diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-28 13:34:50 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | 31f92c57dd2627d4f8c7a5a1e280397456af6a72 (patch) | |
| tree | 4ce3349f11c1536d10e5c0b0e588a0b3153d0eed /scripts/build/v-llvm.inc | |
| parent | 0d747ccf52025ac0d0d9067fbda33fb61a8d9843 (diff) | |
| download | klee-31f92c57dd2627d4f8c7a5a1e280397456af6a72.tar.gz | |
Refactor cmake installation into own component
Diffstat (limited to 'scripts/build/v-llvm.inc')
| -rw-r--r-- | scripts/build/v-llvm.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/build/v-llvm.inc b/scripts/build/v-llvm.inc index 7c3ade0a..795146f3 100644 --- a/scripts/build/v-llvm.inc +++ b/scripts/build/v-llvm.inc @@ -19,7 +19,10 @@ export_variables_llvm=( "BITCODE_CXX" ) -artifact_dependency_llvm=("sanitizer") +artifact_dependency_llvm=( +"sanitizer" +"cmake" +) setup_variables_llvm() { local v_a |