dockerfile

FROM movesrwth/storm-basesystem:ubuntu-22.04 as build

RUN apt-get update
RUN apt-get install -y python3.10

# Specify number of threads to use for parallel compilation
# This number can be set from the commandline with:
# --build-arg no_threads=<value>
ARG no_threads=8

# Build carl
#RUN git clone -b c++14-22.01 https://github.com/ths-rwth/carl.git /opt/carl
COPY ./carl /opt/carl
RUN mkdir -p /opt/carl/build
WORKDIR /opt/carl/build
RUN cmake .. -DCMAKE_BUILD_TYPE=Release  -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
RUN make lib_carl -j $no_threads

# Build tempest
#RUN git clone -b main https://git.pranger.xyz/sp/tempest.git /opt/tempest
COPY ./tempest-devel/ /opt/tempest
RUN mkdir -p /opt/tempest/build
WORKDIR /opt/tempest/build
RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DSTORM_DEVELOPER=OFF -DSTORM_LOG_DISABLE_DEBUG=ON -DSTORM_PORTABLE=OFF -DSTORM_USE_SPOT_SHIPPED=ON
RUN make resources storm binaries -j $no_threads

# Configure carl-parser
RUN cmake .. -DCMAKE_BUILD_TYPE=$build_type

# Manage python packages
WORKDIR /opt/
RUN apt-get update --fix-missing
RUN apt-get install -y python3-venv


# Python env handling
ENV VIRTUAL_ENV=/opt/venv
RUN python3 -m venv $VIRTUAL_ENV
ENV PATH="$VIRTUAL_ENV/bin:$PATH"

RUN apt-get install -y python3-pip


# build pycarl
#RUN git clone -b 2.0.4 https://github.com/moves-rwth/pycarl.git /opt/pycarl
COPY ./pycarl-2.0.4/ /opt/pycarl
WORKDIR /opt/pycarl
RUN python setup.py build_ext -j $no_threads
RUN pip install .
RUN pip install scipy==1.15.3

# build tempestpy
#RUN git clone -b refactoring https://git.pranger.xyz/sp/tempestpy.git /opt/tempestpy
COPY ./tempest-py/ /opt/tempestpy
WORKDIR /opt/tempestpy
RUN python3 setup.py build_ext --storm-dir /opt/tempest/ -j $no_threads develop

# build yaml-cpp
COPY ./yaml-cpp /opt/yaml-cpp
RUN mkdir -p /opt/yaml-cpp/build
WORKDIR /opt/yaml-cpp/build
RUN cmake .. -DCMAKE_BUILD_TYPE=Release
RUN make -j $no_threads
RUN make install -j $no_threads

COPY ./Minigrid2PRISM /opt/Minigrid2PRISM

# build minigrid to prism
RUN mkdir -p /opt/Minigrid2PRISM/build
WORKDIR /opt/Minigrid2PRISM/build
RUN cmake ..
RUN make -j $no_threads


RUN apt-get update && apt-get install ffmpeg libsm6 libxext6 -y

WORKDIR /opt/tempestpy
RUN pip install dm-tree
RUN pip install opencv-python
RUN pip install scikit-image
RUN pip install torch
RUN pip install tensorboard==2.10.0
RUN pip install tensorflow==2.10.0
RUN pip install jupyterlab
RUN pip install astar
RUN pip install ipywidgets
RUN pip install matplotlib
RUN pip install sb3-contrib
RUN pip install opencv-python
RUN pip install gymnasium==0.29.0
RUN pip install numpy==1.24.4
RUN pip install pandas
RUN pip install pygame==2.6.1

ENV M2P_BINARY=/opt/Minigrid2PRISM/build/main
RUN apt-get install bash -y

ENTRYPOINT ["/bin/bash"]