diff options
| author | Ryan Riley <rriley.cs@gmail.com> | 2022-04-14 13:42:39 +0300 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-04-25 14:27:25 +0100 |
| commit | ee94e78a5bde3b491282db7acf1620c224119459 (patch) | |
| tree | 07bfb5e41bd41a15b50626d4c5e6e3858f642e45 /Dockerfile | |
| parent | 35e1f18d33435d526ec647ebcdec07c9c84de260 (diff) | |
| download | klee-ee94e78a5bde3b491282db7acf1620c224119459.tar.gz | |
Update the Dockerfile to use the correct path for llvm-110
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 0076f9f4..575a0899 100644 --- a/Dockerfile +++ b/Dockerfile @@ -51,7 +51,7 @@ COPY --chown=klee:klee . /tmp/klee_src/ 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-90-install_O_D_A/bin:/home/klee/klee_build/bin" +ENV PATH="$PATH:/tmp/llvm-110-install_O_D_A/bin:/home/klee/klee_build/bin" ENV BASE=/tmp # Add KLEE header files to system standard include folder |