summaryrefslogtreecommitdiff
path: root/Assignment2/src/start.sh
blob: b8b945de758b12a4e3d196bcf0cfea8bc168fab3 (plain) (blame)
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