From a27fbebd4d022a4239f9479badf45cba0cfd8144 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Thu, 25 Mar 2021 00:51:20 +0100
Subject: Initial commit

---
 Dockerfile            | 26 ++++++++++++++++++++++++++
 storm-non-exact.patch | 13 +++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 Dockerfile
 create mode 100644 storm-non-exact.patch

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..b50d20e
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,26 @@
+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
+
diff --git a/storm-non-exact.patch b/storm-non-exact.patch
new file mode 100644
index 0000000..09ca080
--- /dev/null
+++ b/storm-non-exact.patch
@@ -0,0 +1,13 @@
+diff --git a/dftcalc/dftcalc.cpp b/dftcalc/dftcalc.cpp
+index df84616..b4e748d 100644
+--- a/dftcalc/dftcalc.cpp
++++ b/dftcalc/dftcalc.cpp
+@@ -867,8 +867,6 @@ int DFT::DFTCalc::calculateDFT(const bool reuse,
+ 		}
+ 		
+ 		StormRunner *sr = new StormRunner(messageFormatter, &exec, stormExec, jani);
+-		if (useConverter == DFTRES)
+-			sr->runExact = 1;
+ 		checker = std::unique_ptr<Checker>(sr);
+ 		break;
+ 	}
-- 
cgit v1.2.3-54-g00ecf