blob: 548f0d8ad243ea69d0821c3fdbb67299072aad4a (
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
|
# Build LLVM
ARG LLVM_VERSION_SHORT
ARG REPOSITORY
FROM ${REPOSITORY}/base
LABEL maintainer="Martin Nowack <m.nowack@imperial.ac.uk>"
ENV DOCKER_BUILD=1
# 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 LLVM_VERSION
ARG PACKAGED
ARG REQUIRES_RTTI
ARG SANITIZER_BUILD
ARG TRAVIS_OS_NAME
WORKDIR $BASE
# Copy across source files needed for build
ADD /scripts/build/* scripts/build/
RUN ./scripts/build/llvm.sh
|
