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

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