From 8d9494e1a4d4efee8a61740511eb876c69079029 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 16 Feb 2018 13:56:50 +0100
Subject: [PATCH] Travis: set storm directory

---
 travis/build-helper.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index cfbdda2..328140b 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -36,10 +36,10 @@ run() {
   travis_fold start build_stormpy
   case "$CONFIG" in
   Debug*)
-    python setup.py build_ext --debug -j 1 develop
+    python setup.py build_ext --storm-dir /opt/storm/build/ --debug -j 1 develop
     ;;
   *)
-    python setup.py build_ext -j 1 develop
+    python setup.py build_ext --storm-dir /opt/storm/build/ -j 1 develop
     ;;
   esac
   travis_fold end build_stormpy