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 +++
 1 file changed, 3 insertions(+)

(limited to 'Assignment2/src/Dockerfile')

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