diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:52:34 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | a34c5c7604f110a45f20c999f6ff970336673886 (patch) | |
| tree | e0375f2e270b9ed741401908415af8d7dd73667a /Dockerfile | |
| parent | 0837d96d20e3ecd502a650aaa62488845198560f (diff) | |
| download | klee-a34c5c7604f110a45f20c999f6ff970336673886.tar.gz | |
Use a newer Ubuntu 18.04 from the year 2020 to build KLEE Dockerimage
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/Dockerfile b/Dockerfile index 586b5cab..1919bcae 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,10 @@ -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.2_60_ubuntu_xenial-20181005 as uclibc_base -FROM klee/tcmalloc:2.7_ubuntu_xenial-20181005 as tcmalloc_base -FROM klee/stp:2.3.3_ubuntu_xenial-20181005 as stp_base -FROM klee/z3:4.8.4_ubuntu_xenial-20181005 as z3_base -FROM klee/libcxx:60_ubuntu_xenial-20181005 as libcxx_base +FROM klee/llvm:60_O_D_A_ubuntu_bionic-20200112 as llvm_base +FROM klee/gtest:1.7.0_ubuntu_bionic-20200112 as gtest_base +FROM klee/uclibc:klee_uclibc_v1.2_60_ubuntu_bionic-20200112 as uclibc_base +FROM klee/tcmalloc:2.7_ubuntu_bionic-20200112 as tcmalloc_base +FROM klee/stp:2.3.3_ubuntu_bionic-20200112 as stp_base +FROM klee/z3:4.8.4_ubuntu_bionic-20200112 as z3_base +FROM klee/libcxx:60_ubuntu_bionic-20200112 as libcxx_base FROM llvm_base as intermediate COPY --from=gtest_base /tmp /tmp/ COPY --from=uclibc_base /tmp /tmp/ @@ -38,7 +38,7 @@ 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 emacs vim file python3-dateutil && \ +RUN apt update && DEBIAN_FRONTEND=noninteractive apt -y --no-install-recommends install sudo emacs-nox vim-nox file python3-dateutil && \ rm -rf /var/lib/apt/lists/* && \ useradd -m klee && \ echo klee:klee | chpasswd && \ @@ -49,7 +49,8 @@ RUN apt update && apt -y --no-install-recommends install sudo emacs vim file pyt COPY --chown=klee:klee . /tmp/klee_src/ # Build and set klee user to be owner -RUN /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps klee && chown -R klee:klee /tmp/klee_build* && pip3 install flask +RUN /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps klee && chown -R klee:klee /tmp/klee_build* && pip3 install flask wllvm && \ + rm -rf /var/lib/apt/lists/* ENV PATH="$PATH:/tmp/llvm-60-install_O_D_A/bin:/home/klee/klee_build/bin" ENV BASE=/tmp |