about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-10-08 10:30:49 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2015-10-08 10:30:49 +0100
commit6b0082b01e60ea2361da401694ea5aa7f7a6e966 (patch)
treed6153aaaf380997676ae99111b2004645a648021
parent09ed8c23c9ca7e9d35013604e1133a371821dc5f (diff)
downloadklee-6b0082b01e60ea2361da401694ea5aa7f7a6e966.tar.gz
Fix accidently hardcoding of LLVM version in Dockerfile
-rw-r--r--Dockerfile2
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