diff --git a/install.sh b/install.sh index 86e8ffcb0..384bbb2e9 100755 --- a/install.sh +++ b/install.sh @@ -1,2 +1,2 @@ #!/bin/bash -pip install -ve . --install-option="--cmake=" --install-option="--make=" +pip install -ve stormpy