From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 28 Feb 2019 11:56:19 +0000 Subject: Updated dependency build system for KLEE Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies. --- scripts/build/Dockerfile_klee_deps | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 scripts/build/Dockerfile_klee_deps (limited to 'scripts/build/Dockerfile_klee_deps') 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 " - -# 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 -- cgit 1.4.1