Added Dockerfile for Storm

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

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"

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"