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