diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-08 10:30:49 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-08 10:30:49 +0100 |
| commit | 6b0082b01e60ea2361da401694ea5aa7f7a6e966 (patch) | |
| tree | d6153aaaf380997676ae99111b2004645a648021 /Dockerfile | |
| parent | 09ed8c23c9ca7e9d35013604e1133a371821dc5f (diff) | |
| download | klee-6b0082b01e60ea2361da401694ea5aa7f7a6e966.tar.gz | |
Fix accidently hardcoding of LLVM version in Dockerfile
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index c15d7034..03a65a75 100644 --- a/Dockerfile +++ b/Dockerfile @@ -98,7 +98,7 @@ RUN sudo mkdir -p /usr/lib/llvm-${LLVM_VERSION}/build/Release/bin && \ sudo mkdir -p /usr/lib/llvm-${LLVM_VERSION}/build/include && \ sudo ln -s /usr/include/llvm-${LLVM_VERSION}/llvm /usr/lib/llvm-${LLVM_VERSION}/build/include/llvm && \ sudo ln -s /usr/include/llvm-c-${LLVM_VERSION}/llvm-c /usr/lib/llvm-${LLVM_VERSION}/build/include/llvm-c && \ - for static_lib in /usr/lib/llvm-3.4/lib/*.a ; do sudo ln -s ${static_lib} /usr/lib/`basename ${static_lib}`; done + for static_lib in /usr/lib/llvm-${LLVM_VERSION}/lib/*.a ; do sudo ln -s ${static_lib} /usr/lib/`basename ${static_lib}`; done # FIXME: This is **really gross**. The Official Ubuntu LLVM packages don't ship # with ``FileCheck`` or the ``not`` tools so we have to hack building these |