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.
---
 Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 7050837d..f9e7c291 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -31,6 +31,8 @@ ENV STP_VERSION=2.3.3
 ENV MINISAT_VERSION=master
 ENV Z3_VERSION=4.8.4
 ENV USE_LIBCXX=1
+ENV KLEE_RUNTIME_BUILD="Debug+Asserts"
+
 COPY . /tmp/klee_src/
 RUN /tmp/klee_src//scripts/build/build.sh --debug --install-system-deps klee
 LABEL maintainer="KLEE Developers"
-- 
cgit 1.4.1