1 files changed, 0 insertions, 33 deletions
diff --git a/scripts/build/Dockerfile_klee_deps b/scripts/build/Dockerfile_klee_deps
deleted file mode 100644
index 582d324f..00000000
--- a/scripts/build/Dockerfile_klee_deps
+++ /dev/null
@@ -1,33 +0,0 @@
-# Build KLEE dependencies except LLVM and solvers
-ARG REPOSITORY
-ARG LLVM_VERSION_SHORT
-ARG LLVM_SUFFIX
-ARG SOLVER_SUFFIX
-FROM ${REPOSITORY}/solver:${LLVM_VERSION_SHORT}${LLVM_SUFFIX}${SOLVER_SUFFIX}
-LABEL maintainer="Martin Nowack <m.nowack@imperial.ac.uk>"
-
-# 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 KLEE_UCLIBC
-ARG LLVM_VERSION
-ARG LLVM_SUFFIX
-ARG REQUIRES_RTTI
-ARG SANITIZER_BUILD
-ARG TRAVIS_OS_NAME
-ARG USE_TCMALLOC
-
-ENV DOCKER_BUILD=1
-
-# Copy across source files needed for build
-ADD /scripts/build/* scripts/build/
-
-# Build KLEE (use TravisCI script)
-RUN ${BASE}/scripts/build/testing-utils.sh
-RUN ${BASE}/scripts/build/tcmalloc.sh
-RUN ${BASE}/scripts/build/uclibc.sh