# 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