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