Assignment2/src/start.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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