diff options
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 |