diff options
| author | Camil Staps | 2018-07-04 12:34:01 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-04 12:34:01 +0200 |
| commit | 6fc9f7e00eef5d87ec8e87e1cdcf43e6cc6120d8 (patch) | |
| tree | 6af5585860daed22314024a53f6face67babe820 /Assignment2/src/Dockerfile | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Improve dockerfile
Diffstat (limited to 'Assignment2/src/Dockerfile')
| -rw-r--r-- | Assignment2/src/Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
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 |