about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2019-12-19 16:43:51 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-01-17 18:38:17 +0000
commit89832958b6cdafa0b6d6e08c278db0c1c9c6bde7 (patch)
tree3c124032af7db88a91dfa6de8924b738b5ad7ff2
parent8f365c3113f12c27d590f342dd7c13cbf6b65915 (diff)
downloadklee-89832958b6cdafa0b6d6e08c278db0c1c9c6bde7.tar.gz
Add additional packages to provide an out-of-the-box grafana support
-rw-r--r--Dockerfile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 6ed74887..586b5cab 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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 && \
+RUN apt update && apt -y --no-install-recommends install sudo emacs vim file python3-dateutil && \
     rm -rf /var/lib/apt/lists/* && \
     useradd -m klee && \
     echo klee:klee | chpasswd && \
@@ -49,7 +49,7 @@ RUN apt update && apt -y --no-install-recommends install sudo emacs vim file &&
 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*
+RUN /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps klee && chown -R klee:klee /tmp/klee_build* && pip3 install flask
 
 ENV PATH="$PATH:/tmp/llvm-60-install_O_D_A/bin:/home/klee/klee_build/bin"
 ENV BASE=/tmp