From 099cff51bb7f0c5ec9824bb21deafc6c33f3890c Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 4 Jul 2018 10:07:47 +0200
Subject: Add docker image with storm+stormpy

---
 Assignment2/src/Dockerfile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Assignment2/src/Dockerfile

(limited to 'Assignment2/src/Dockerfile')

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
-- 
cgit v1.2.3