diff options
| author | Erin van der Veen | 2018-07-05 14:41:10 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-05 14:41:10 +0200 |
| commit | f3ca2763ecd2be9cdf6fa847342757c748fc9b38 (patch) | |
| tree | 0a9c29afcd5cdb65e44e82e099756ca90b6045a4 /Assignment2/src/Dockerfile | |
| parent | z3 interface for Clean (diff) | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
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 |