summaryrefslogtreecommitdiff
path: root/Assignment2/src/start.sh
blob: d07316f297366f058a75834e499ecf457f3cbdfd (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash
DOCKER_IMAGE=stormpy
DOCKER_NAME=stormpy

docker build -q -t $DOCKER_IMAGE . || exit

docker run\
	--mount type=bind,source="$PWD",target=/src\
	-w /opt/storm/build/bin\
	--rm\
	-it\
	--name $DOCKER_NAME\
	$DOCKER_IMAGE