diff options
Diffstat (limited to 'Assignment2/src/Dockerfile')
| -rw-r--r-- | Assignment2/src/Dockerfile | 9 |
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 |