diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-11 06:01:56 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-14 23:55:24 +0000 |
| commit | 7f9afabacfecadf2be0a7451049d2f96ef8f203b (patch) | |
| tree | e59c06088dd2b5ef14f2b123a1c31cb10efe440f /Dockerfile | |
| parent | 5960bc6387df8ec89e3e98ae3867b0a3c025033b (diff) | |
| download | klee-7f9afabacfecadf2be0a7451049d2f96ef8f203b.tar.gz | |
Add TravisCI and Docker support for building KLEE with Z3 support
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Dockerfile b/Dockerfile index a61f8353..aa3ca6b6 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,6 +6,7 @@ MAINTAINER Dan Liew <daniel.liew@imperial.ac.uk> # the resulting image is unnecessarily large! ENV LLVM_VERSION=3.4 \ + SOLVERS=STP:Z3 \ STP_VERSION=master \ DISABLE_ASSERTIONS=0 \ ENABLE_OPTIMIZED=1 \ @@ -40,7 +41,10 @@ RUN apt-get update && \ unzip \ binutils && \ pip3 install -U lit tabulate && \ - update-alternatives --install /usr/bin/python python /usr/bin/python3 50 + update-alternatives --install /usr/bin/python python /usr/bin/python3 50 && \ + ( wget -O - http://download.opensuse.org/repositories/home:delcypher:z3/xUbuntu_14.04/Release.key | apt-key add - ) && \ + echo 'deb http://download.opensuse.org/repositories/home:/delcypher:/z3/xUbuntu_14.04/ /' >> /etc/apt/sources.list.d/z3.list && \ + apt-get update # Create ``klee`` user for container with password ``klee``. # and give it password-less sudo access (temporarily so we can use the TravisCI scripts) @@ -79,8 +83,8 @@ RUN sudo chown --recursive klee: ${KLEE_SRC} # Create build directory RUN mkdir -p ${BUILD_DIR} -# Build STP (use TravisCI script) -RUN cd ${BUILD_DIR} && mkdir stp && cd stp && ${KLEE_SRC}/.travis/stp.sh +# Build/Install SMT solvers (use TravisCI script) +RUN cd ${BUILD_DIR} && ${KLEE_SRC}/.travis/solvers.sh # Install testing utils (use TravisCI script) RUN cd ${BUILD_DIR} && mkdir testing-utils && cd testing-utils && \ |