summaryrefslogtreecommitdiff
path: root/Assignment2/src/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to 'Assignment2/src/Dockerfile')
-rw-r--r--Assignment2/src/Dockerfile17
1 files changed, 17 insertions, 0 deletions
diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile
new file mode 100644
index 0000000..7e11986
--- /dev/null
+++ b/Assignment2/src/Dockerfile
@@ -0,0 +1,17 @@
+FROM movesrwth/storm:travis
+
+RUN apt-get update -qq &&\
+ apt-get install -qq --no-install-recommends python3-setuptools python3-pip &&\
+ pip3 install pytest
+
+RUN mkdir /opt/pycarl &&\
+ cd /opt/pycarl &&\
+ git clone https://github.com/moves-rwth/pycarl . &&\
+ python3 setup.py build_ext --carl-dir /opt/carl develop &&\
+ py.test tests
+
+RUN mkdir /opt/stormpy &&\
+ cd /opt/stormpy &&\
+ git clone https://github.com/moves-rwth/stormpy . &&\
+ python3 setup.py build_ext --storm-dir /opt/storm/build develop &&\
+ py.test tests