From 7547a1a17d93e68b62b942253e0c14fd324d1b75 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 25 Jul 2019 16:24:16 +0100
Subject: Provide klee runtime build type as parameter

Allow to build klee runtime with different build parameters using the build script.
---
 scripts/build/p-klee.inc | 2 ++
 scripts/build/v-klee.inc | 1 +
 2 files changed, 3 insertions(+)

(limited to 'scripts/build')

diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index 8479a2ca..a1520f83 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -138,6 +138,8 @@ fi
   else
     CMAKE_ARGUMENTS+=("-DCMAKE_BUILD_TYPE=Debug")
   fi
+
+  CMAKE_ARGUMENTS+=("-DKLEE_RUNTIME_BUILD_TYPE=${KLEE_RUNTIME_BUILD}")
   
 # TODO: We should support Ninja too
 # Configure KLEE
diff --git a/scripts/build/v-klee.inc b/scripts/build/v-klee.inc
index 62fdf9dd..5f7d9fca 100644
--- a/scripts/build/v-klee.inc
+++ b/scripts/build/v-klee.inc
@@ -1,6 +1,7 @@
 # Build information for KLEE
 required_variables_klee=(
   "COVERAGE"
+  "KLEE_RUNTIME_BUILD"
   "USE_TCMALLOC"
   "USE_LIBCXX"
 )
-- 
cgit 1.4.1