diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
| tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/Dockerfile_solver_build | |
| parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
| download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz | |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/Dockerfile_solver_build')
| -rw-r--r-- | scripts/build/Dockerfile_solver_build | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/scripts/build/Dockerfile_solver_build b/scripts/build/Dockerfile_solver_build deleted file mode 100644 index ba2af62a..00000000 --- a/scripts/build/Dockerfile_solver_build +++ /dev/null @@ -1,33 +0,0 @@ -ARG REPOSITORY -ARG LLVM_SUFFIX -ARG LLVM_VERSION_SHORT -FROM ${REPOSITORY}/llvm_built:${LLVM_VERSION_SHORT}${LLVM_SUFFIX} -LABEL maintainer="Martin Nowack <m.nowack@imperial.ac.uk>" - -ENV DOCKER_BUILD=1 - -# Define all variables that can be changed as argument to 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 METASMT_BOOST_VERSION -ARG METASMT_DEFAULT -ARG METASMT_VERSION -ARG REQUIRES_RTTI -ARG SOLVERS -ARG SANITIZER_BUILD -ARG STP_VERSION -ARG STORAGE_SPACE_OPTIMIZED=1 -ARG TRAVIS_OS_NAME -ARG Z3_VERSION - -WORKDIR $BASE - -# Copy across source files needed for build -ADD /scripts/build/* scripts/build/ -RUN scripts/build/solvers.sh |