#!/bin/bashDOCKER_IMAGE=stormpy
DOCKER_NAME=stormpy
dockerimage$DOCKER_IMAGE>/dev/null2>&1if[$?!=0];thendockerbuild-t$DOCKER_IMAGE.
fi
dockerrun\--mounttype=bind,source="$PWD",target=/src\-w/opt/storm/build/bin\--rm\-it\--name$DOCKER_NAME\$DOCKER_IMAGE