blob: 582d324f568366745fb92d945cffaa5e69f0a7f6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# 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
|
