From 79f96ad2eda79bf2c2af95d204a99541f9470564 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 4 Jul 2017 14:52:22 +0200
Subject: [PATCH] Added Dockerfile for Storm

---
 travis/dockerfiles/Dockerfile.storm | 8 ++++++++
 travis/dockerfiles/build_carl.sh    | 9 +++++++++
 travis/dockerfiles/build_storm.sh   | 9 +++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 travis/dockerfiles/Dockerfile.storm
 create mode 100755 travis/dockerfiles/build_carl.sh
 create mode 100755 travis/dockerfiles/build_storm.sh

diff --git a/travis/dockerfiles/Dockerfile.storm b/travis/dockerfiles/Dockerfile.storm
new file mode 100644
index 000000000..272b97825
--- /dev/null
+++ b/travis/dockerfiles/Dockerfile.storm
@@ -0,0 +1,8 @@
+FROM mvolk/storm-basesystem:ubuntu-16.10
+MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
+
+COPY build_carl.sh /opt
+RUN cd opt && ./build_carl.sh
+
+COPY build_storm.sh /opt
+RUN cd opt && ./build_storm.sh
diff --git a/travis/dockerfiles/build_carl.sh b/travis/dockerfiles/build_carl.sh
new file mode 100755
index 000000000..5c26b307b
--- /dev/null
+++ b/travis/dockerfiles/build_carl.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+echo "Building Carl..."
+git clone -b singleton_fix https://github.com/smtrat/carl.git
+cd carl
+mkdir build
+cd build
+cmake .. -DCMAKE_BUILD_TYPE=Release -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
+make lib_carl -j2
+echo "Building Carl finished"
diff --git a/travis/dockerfiles/build_storm.sh b/travis/dockerfiles/build_storm.sh
new file mode 100755
index 000000000..4c11b708d
--- /dev/null
+++ b/travis/dockerfiles/build_storm.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+echo "Building Storm..."
+git clone https://github.com/moves-rwth/storm.git
+cd storm
+mkdir build
+cd build
+cmake .. -DCMAKE_BUILD_TYPE=Release
+make storm storm-dft storm-pars -j1
+echo "Building Storm finished"