diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-10 13:59:27 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-12 15:28:01 +0100 |
| commit | 3eece12c6c5832dce7148a4c8a9c0d4e5ac37f38 (patch) | |
| tree | 4d21ba7f7a0fba87120f6ecbd80dd2c240c876fa /scripts/build/Dockerfile_klee | |
| parent | 1b07577005478f26a106d8636e5b3c4aabf7e8d6 (diff) | |
| download | klee-3eece12c6c5832dce7148a4c8a9c0d4e5ac37f38.tar.gz | |
Fix uploading of coverage information from inside of docker
Diffstat (limited to 'scripts/build/Dockerfile_klee')
| -rw-r--r-- | scripts/build/Dockerfile_klee | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/Dockerfile_klee b/scripts/build/Dockerfile_klee index 79ad3838..1872fca6 100644 --- a/scripts/build/Dockerfile_klee +++ b/scripts/build/Dockerfile_klee @@ -37,7 +37,7 @@ ENV DOCKER_BUILD=1 ADD / ${BASE}/klee_src # TODO Remove when STP is fixed -RUN export LD_LIBRARY_PATH=${BASE}/metaSMT/deps/stp-git-basic/lib/ && export KLEE_SRC=${BASE}/klee_src && ${BASE}/klee_src/scripts/build/klee.sh && rm -rf ${BASE}/klee_src/.git +RUN export LD_LIBRARY_PATH=${BASE}/metaSMT/deps/stp-git-basic/lib/ && export KLEE_SRC=${BASE}/klee_src && ${BASE}/klee_src/scripts/build/klee.sh && rm -rf ${BASE}/klee_src/.git && ln -s ${BASE}/klee_build* ${BASE}/klee_build # Create ``klee`` user for container with password ``klee``. # and give it password-less sudo access (temporarily so we can use the TravisCI scripts) @@ -53,6 +53,6 @@ USER klee WORKDIR /home/klee # Add KLEE binary directory to PATH -RUN /bin/bash -c 'DIR="${BASE}/klee_src/scripts/build" source ${BASE}/klee_src/scripts/build/common-defaults.sh && ln -s ${BASE}/klee_build* ${BASE}/klee_build && echo "export PATH=\"$PATH:${LLVM_BIN}:${BASE}/klee_build/bin\"" >> /home/klee/.bashrc' +RUN /bin/bash -c 'DIR="${BASE}/klee_src/scripts/build" source ${BASE}/klee_src/scripts/build/common-defaults.sh && ln -s ${BASE}/klee_src /home/klee/ && ln -s ${BASE}/klee_build /home/klee/ && echo "export PATH=\"$PATH:${LLVM_BIN}:/home/klee/klee_build/bin\"" >> /home/klee/.bashrc' # TODO Remove when STP is fixed RUN /bin/bash -c 'echo "export LD_LIBRARY_PATH=${BASE}/metaSMT/deps/stp-git-basic/lib/" >> /home/klee/.bashrc' |