From 6fc9f7e00eef5d87ec8e87e1cdcf43e6cc6120d8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 4 Jul 2018 12:34:01 +0200
Subject: Improve dockerfile

---
 Assignment2/src/Dockerfile | 3 +++
 Assignment2/src/start.sh   | 5 +----
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'Assignment2')

diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile
index 7e11986..03ff7ea 100644
--- a/Assignment2/src/Dockerfile
+++ b/Assignment2/src/Dockerfile
@@ -15,3 +15,6 @@ RUN mkdir /opt/stormpy &&\
 	git clone https://github.com/moves-rwth/stormpy . &&\
 	python3 setup.py build_ext --storm-dir /opt/storm/build develop &&\
 	py.test tests
+
+ENV PATH=$PATH:/opt/storm/build/bin
+ENTRYPOINT cd /src; bash
diff --git a/Assignment2/src/start.sh b/Assignment2/src/start.sh
index b8b945d..aafbd9e 100755
--- a/Assignment2/src/start.sh
+++ b/Assignment2/src/start.sh
@@ -2,10 +2,7 @@
 DOCKER_IMAGE=stormpy
 DOCKER_NAME=stormpy
 
-docker image $DOCKER_IMAGE >/dev/null 2>&1
-if [ $? != 0 ]; then
-	docker build -t $DOCKER_IMAGE .
-fi
+docker build -q -t $DOCKER_IMAGE .
 
 docker run\
 	--mount type=bind,source="$PWD",target=/src\
-- 
cgit v1.2.3