From 92d99b343920ce3d161f34d4dcb32a63de54aa79 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 3 Nov 2016 18:13:43 +0100
Subject: [PATCH] Fixed some compile issues

Former-commit-id: b00e69f9bd7f173997f66d7915579e6b5012f246
---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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