diff options
Diffstat (limited to 'scripts/build/Dockerfile_llvm_build')
| -rw-r--r-- | scripts/build/Dockerfile_llvm_build | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/scripts/build/Dockerfile_llvm_build b/scripts/build/Dockerfile_llvm_build deleted file mode 100644 index 548f0d8a..00000000 --- a/scripts/build/Dockerfile_llvm_build +++ /dev/null @@ -1,27 +0,0 @@ -# Build LLVM -ARG LLVM_VERSION_SHORT -ARG REPOSITORY -FROM ${REPOSITORY}/base -LABEL maintainer="Martin Nowack <m.nowack@imperial.ac.uk>" - -ENV DOCKER_BUILD=1 - -# Define all variables that can be changed as argument to the docker build -ARG BASE=/tmp -ARG DISABLE_ASSERTIONS -ARG ENABLE_OPTIMIZED -ARG ENABLE_DEBUG -ARG KEEP_BUILD -ARG KEEP_SRC -ARG KLEE_TRAVIS_BUILD -ARG LLVM_VERSION -ARG PACKAGED -ARG REQUIRES_RTTI -ARG SANITIZER_BUILD -ARG TRAVIS_OS_NAME - -WORKDIR $BASE - -# Copy across source files needed for build -ADD /scripts/build/* scripts/build/ -RUN ./scripts/build/llvm.sh |