diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-09 22:02:24 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | 45f054b4a1a192100cca3e017fdfebcb62640e25 (patch) | |
| tree | 7c11e07fb1b6ab56115756b15680166be94eb9c8 /Dockerfile | |
| parent | cf930214e12b49e89be4674043d9f461d667baae (diff) | |
| download | klee-45f054b4a1a192100cca3e017fdfebcb62640e25.tar.gz | |
Add dockerfile for default KLEE setup
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 00000000..4db713d4 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,56 @@ +FROM klee/llvm:60_O_D_A_ubuntu_xenial-20181005 as llvm_base +FROM klee/gtest:1.7.0_ubuntu_xenial-20181005 as gtest_base +FROM klee/uclibc:klee_uclibc_v1.0.0_60_ubuntu_xenial-20181005 as uclibc_base +FROM klee/tcmalloc:2.7_ubuntu_xenial-20181005 as tcmalloc_base +FROM klee/stp:2.3.2_ubuntu_xenial-20181005 as stp_base +FROM klee/z3:4.8.4_ubuntu_xenial-20181005 as z3_base +FROM llvm_base as intermediate +COPY --from=gtest_base /tmp /tmp/ +COPY --from=uclibc_base /tmp /tmp/ +COPY --from=tcmalloc_base /tmp /tmp/ +COPY --from=stp_base /tmp /tmp/ +COPY --from=z3_base /tmp /tmp/ +ENV COVERAGE=0 +ENV USE_TCMALLOC=1 +ENV BASE=/tmp +ENV LLVM_VERSION=6.0 +ENV ENABLE_OPTIMIZED=1 +ENV ENABLE_DEBUG=1 +ENV DISABLE_ASSERTIONS=0 +ENV REQUIRES_RTTI=0 +ENV SOLVERS=STP:Z3 +ENV GTEST_VERSION=1.7.0 +ENV UCLIBC_VERSION=klee_uclibc_v1.0.0 +ENV LLVM_VERSION=6.0 +ENV TCMALLOC_VERSION=2.7 +ENV SANITIZER_BUILD= +ENV LLVM_VERSION=6.0 +ENV STP_VERSION=2.3.2 +ENV MINISAT_VERSION=master +ENV Z3_VERSION=4.8.4 +COPY . /tmp/klee_src/ +RUN /tmp/klee_src//scripts/build/build.sh --debug --install-system-deps klee +LABEL maintainer="KLEE Developers" +# TODO remove adding sudo package +# Create ``klee`` user for container with password ``klee``. +# and give it password-less sudo access (temporarily so we can use the TravisCI scripts) +RUN apt update && apt -y --no-install-recommends install sudo && \ + rm -rf /var/lib/apt/lists/* && \ + useradd -m klee && \ + echo klee:klee | chpasswd && \ + cp /etc/sudoers /etc/sudoers.bak && \ + echo 'klee ALL=(root) NOPASSWD: ALL' >> /etc/sudoers + +ENV BASE=/tmp +# Copy across source files needed for build +# Set klee user to be owner +ADD --chown=klee:klee / ${BASE}/klee_src + +USER klee +WORKDIR /home/klee + +# Add KLEE binary directory to PATH +RUN /bin/bash -c 'ln -s ${BASE}/klee_src /home/klee/ && ln -s ${BASE}/klee_build* /home/klee/klee_build && echo "export PATH=\"$PATH:$(cd /tmp/llvm-*install*/bin && pwd):/home/klee/klee_build/bin\"" >> /home/klee/.bashrc' + +# TODO Remove when STP is fixed +RUN /bin/bash -c 'echo "export LD_LIBRARY_PATH=$(cd ${BASE}/metaSMT-*-deps/stp-git-basic/lib/ && pwd)" >> /home/klee/.bashrc' |