Assignment2/src/start.sh


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