FROM movesrwth/storm:travis

# Patch enabled floating-point calculation with Storm
COPY storm-non-exact.patch /opt

RUN apt-get update && \
    apt-get install -y bison flex libyaml-cpp-dev openjdk-11-jdk-headless && \
    rm -rf /var/lib/apt/lists/* && \
    git clone --depth=1 https://github.com/utwente-fmt/dftcalc.git /opt/dftcalc && \
    cd /opt/dftcalc && \
    git apply /opt/storm-non-exact.patch && \
    mkdir build && \
    cd build && \
    cmake -DDFTROOT=/usr .. && \
    make && \
    make install && \
    git clone --depth=1 https://github.com/utwente-fmt/DFTRES /opt/DFTRES && \
    cd /opt/DFTRES && \
    make jar JFLAGS="-Xlint:deprecation -g -encoding UTF-8"

# Place Storm executable on the PATH so that dftcalc can find it
ENV PATH="$PATH:/opt/storm/build/bin"

# Tell dftcalc where we have DFTRES.jar
ENV DFTRES=/opt/DFTRES