From c05c08baa32bf5f110d0bd78db4f022cf02b5f76 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 2 Oct 2019 12:56:30 +0200
Subject: [PATCH] Travis: fix directories
---
travis/build-helper.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 5462a60..a566447 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -11,6 +11,8 @@ travis_fold() {
# Helper for building and testing
run() {
+ # We start in /opt/stormpy
+ cd ..
# Build carl-parser
travis_fold start build_carl_parser
@@ -48,6 +50,7 @@ run() {
# Build stormpy
travis_fold start build_stormpy
+ cd stormpy
case "$CONFIG" in
Debug*)
python setup.py build_ext --storm-dir /opt/storm/build/ --debug -j 1 develop