blob: b50d20ef59639eeeff3cc0cb12a0a990880ceb4b (
plain) (
tree)
|
|
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
|