Dockerfile.base

FROM ubuntu:jammy 

ARG number_of_threads=2

WORKDIR /base

RUN apt-get update && apt-get install -y \
    python3 \
    python3-pip \
    cmake \
    clang \
    libboost-all-dev \
    build-essential \
    git \
    libcln-dev \
    libgmp-dev \
    libginac-dev \
    automake \
    libglpk-dev \
    libhwloc-dev \
    libz3-dev \
    libxerces-c-dev \
    libeigen3-dev && \
    rm -rf /var/lib/apt/lists/*

RUN pip install setuptools==68.2.2

RUN git clone --branch 14.25 --single-branch --depth 1 https://github.com/moves-rwth/carl-storm.git /base/carl-storm && \
    git clone --branch 2.2.0 --single-branch --depth 1 https://github.com/moves-rwth/pycarl.git /base/pycarl && \
    git clone --branch 1.8.1 --single-branch --depth 1 https://github.com/moves-rwth/storm.git /base/storm && \
    git clone --branch 1.8.0 --single-branch --depth 1 https://github.com/moves-rwth/stormpy.git /base/stormpy && \
    git clone                --single-branch --depth 1 https://github.com/ivmai/cudd.git /base/cudd


# Build CArL-storm
WORKDIR /base/carl-storm/build
RUN cmake .. && \
    make -j$number_of_threads lib_carl

# Install Pycarl
WORKDIR /base/pycarl
RUN python3 setup.py build_ext --jobs $number_of_threads develop

# Build Storm
WORKDIR /base/storm/build
RUN cmake .. && \
    make -j$number_of_threads binaries

# Install Stormpy
WORKDIR /base/stormpy
RUN python3 setup.py build_ext --jobs $number_of_threads develop

# Install CUDD
WORKDIR /base/cudd
RUN ln -s /usr/bin/aclocal-1.16 /usr/bin/aclocal-1.14 && \ 
    ln -s /usr/bin/automake-1.16 /usr/bin/automake-1.14 && \
    ./configure && \
    make install -j$number_of_threads