From fe72c41c75c3e4abd62b29b3e86b3d72590faf94 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 5 Jul 2018 13:27:14 +0200
Subject: Add DTMC parser

---
 Assignment2/src/Dockerfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Assignment2/src/Dockerfile')

diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile
index 03ff7ea..ecdbab0 100644
--- a/Assignment2/src/Dockerfile
+++ b/Assignment2/src/Dockerfile
@@ -16,5 +16,12 @@ RUN mkdir /opt/stormpy &&\
 	python3 setup.py build_ext --storm-dir /opt/storm/build develop &&\
 	py.test tests
 
-ENV PATH=$PATH:/opt/storm/build/bin
+RUN apt-get update -qq &&\
+	apt-get install -qq --no-install-recommends curl &&\
+	mkdir /opt/clean &&\
+	curl https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz |\
+		tar xzv --strip-components=1 --directory=/opt/clean
+ENV CLEAN_HOME=/opt/clean
+
+ENV PATH=$PATH:/opt/storm/build/bin:/opt/clean/bin:/opt/clean/exe
 ENTRYPOINT cd /src; bash
-- 
cgit v1.2.3