diff options
Diffstat (limited to 'Assignment2/src/start.sh')
-rwxr-xr-x | Assignment2/src/start.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Assignment2/src/start.sh b/Assignment2/src/start.sh new file mode 100755 index 0000000..b8b945d --- /dev/null +++ b/Assignment2/src/start.sh @@ -0,0 +1,16 @@ +#!/bin/bash +DOCKER_IMAGE=stormpy +DOCKER_NAME=stormpy + +docker image $DOCKER_IMAGE >/dev/null 2>&1 +if [ $? != 0 ]; then + docker build -t $DOCKER_IMAGE . +fi + +docker run\ + --mount type=bind,source="$PWD",target=/src\ + -w /opt/storm/build/bin\ + --rm\ + -it\ + --name $DOCKER_NAME\ + $DOCKER_IMAGE |