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 | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Improve dockerfile
Diffstat (limited to 'Assignment2')
| -rw-r--r-- | Assignment2/src/Dockerfile | 3 | ||||
| -rwxr-xr-x | Assignment2/src/start.sh | 5 |
2 files changed, 4 insertions, 4 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 diff --git a/Assignment2/src/start.sh b/Assignment2/src/start.sh index b8b945d..aafbd9e 100755 --- a/Assignment2/src/start.sh +++ b/Assignment2/src/start.sh @@ -2,10 +2,7 @@ DOCKER_IMAGE=stormpy DOCKER_NAME=stormpy -docker image $DOCKER_IMAGE >/dev/null 2>&1 -if [ $? != 0 ]; then - docker build -t $DOCKER_IMAGE . -fi +docker build -q -t $DOCKER_IMAGE . docker run\ --mount type=bind,source="$PWD",target=/src\ |