diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-07-25 16:24:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-07-30 12:38:24 +0100 |
| commit | 7547a1a17d93e68b62b942253e0c14fd324d1b75 (patch) | |
| tree | deff3ad9fa0e0627dcf789256629a3b9139eb393 /Dockerfile | |
| parent | e0103f5c669960bca6bfefbb254802ba57442900 (diff) | |
| download | klee-7547a1a17d93e68b62b942253e0c14fd324d1b75.tar.gz | |
Provide klee runtime build type as parameter
Allow to build klee runtime with different build parameters using the build script.
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
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" |