From 74b87e572233136ae877b2b4ee40110a12140207 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 14:08:38 +0200
Subject: Put everything in docker

---
 Assignment2/src/Dockerfile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'Assignment2/src/Dockerfile')

diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile
index 4bec59e..a654427 100644
--- a/Assignment2/src/Dockerfile
+++ b/Assignment2/src/Dockerfile
@@ -1,7 +1,7 @@
 FROM movesrwth/storm:travis
 
 RUN apt-get update -qq &&\
-	apt-get install -qq --no-install-recommends python3-setuptools python3-pip &&\
+	apt-get install -qq --no-install-recommends z3 python3-setuptools python3-pip &&\
 	pip3 install pytest
 
 RUN mkdir /opt/pycarl &&\
@@ -24,4 +24,8 @@ RUN apt-get update -qq &&\
 ENV CLEAN_HOME=/opt/clean
 
 ENV PATH=$PATH:/opt/storm/build/bin:/opt/clean/bin:/opt/clean/exe
-ENTRYPOINT /src/entry.sh
+
+COPY DTMC.dcl DTMC.icl Z3.dcl Z3.icl Expression.dcl Expression.icl /tmp/
+RUN cd /tmp; clm -ms -b -nt -IL Platform DTMC -o dtmc
+
+ENTRYPOINT ["/src/repair.sh"]
-- 
cgit v1.2.3