From 31f92c57dd2627d4f8c7a5a1e280397456af6a72 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 28 Mar 2022 13:34:50 +0100
Subject: Refactor cmake installation into own component

---
 scripts/build/v-klee.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/build/v-klee.inc')

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
-- 
cgit 1.4.1