From 0bf4c731ba8543edd9126c8ed3401fdba63826f4 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 8 Dec 2017 17:08:09 +0100
Subject: [PATCH] Use configured build type in Travis

---
 .travis.yml            |  6 +++---
 travis/build-helper.sh | 18 ++++++++++++++++--
 travis/build.sh        |  1 +
 3 files changed, 20 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index c327b7a..4fd3e7c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -29,7 +29,7 @@ jobs:
     # docker storm:latest
     - os: linux
       compiler: gcc
-      env: TASK=Test DOCKER=storm:latest PYTHON=python3
+      env: TASK=Test CONFIG=Release DOCKER=storm:latest PYTHON=python3
       install:
         travis/install_linux.sh
       script:
@@ -37,7 +37,7 @@ jobs:
     # docker storm-debug:latest
     - os: linux
       compiler: gcc
-      env: TASK=Test DOCKER=storm-debug:latest PYTHON=python3
+      env: TASK=Test CONFIG=Debug DOCKER=storm-debug:latest PYTHON=python3
       install:
         travis/install_linux.sh
       script:
@@ -45,7 +45,7 @@ jobs:
     # Documentation
     - os: linux
       compiler: gcc
-      env: TASK=Documentation DOCKER=storm:latest PYTHON=python3
+      env: TASK=Documentation CONFIG=Release DOCKER=storm:latest PYTHON=python3
       install:
         travis/install_linux.sh
       script:
diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 5a1908a..a6d0812 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -21,13 +21,27 @@ run() {
   travis_fold start build_pycarl
   git clone https://github.com/moves-rwth/pycarl.git
   cd pycarl
-  python setup.py build_ext -j 1 develop
+  case "$CONFIG" in
+  Debug*)
+    python setup.py build_ext --develop -j 1 develop
+    ;;
+  *)
+    python setup.py build_ext -j 1 develop
+    ;;
+  esac
   travis_fold end build_pycarl
   cd ..
 
   # Build stormpy
   travis_fold start build_stormpy
-  python setup.py build_ext -j 1 develop
+  case "$CONFIG" in
+  Debug*)
+    python setup.py build_ext --develop -j 1 develop
+    ;;
+  *)
+    python setup.py build_ext -j 1 develop
+    ;;
+  esac
   travis_fold end build_stormpy
 
   # Perform task
diff --git a/travis/build.sh b/travis/build.sh
index 0fa702d..9ac4fba 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -24,6 +24,7 @@ linux)
         export N_JOBS=$N_JOBS;
         export OS=$OS;
         export PYTHON=$PYTHON;
+        export CONFIG=$CONFIG;
         export TASK=$TASK;
         cd opt/stormpy;
         travis/build-helper.sh"