summaryrefslogtreecommitdiff
path: root/Assignment2/src/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to 'Assignment2/src/Dockerfile')
-rw-r--r--Assignment2/src/Dockerfile9
1 files changed, 8 insertions, 1 deletions
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