summaryrefslogtreecommitdiff
path: root/Assignment2/src/start.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Assignment2/src/start.sh')
-rwxr-xr-xAssignment2/src/start.sh16
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