blob: ba2af62a90b6478ba0123c639ac3d8d31d0d121a (
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
|
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
|
