From fef8f03a1a3a3ce356ac68ac16a0d9167a12cf85 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 23 Jun 2017 10:31:48 +0200
Subject: [PATCH] Changed travis helper for changed stages

---
 travis/build-helper.sh | 37 +++++++++----------------------------
 1 file changed, 9 insertions(+), 28 deletions(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 39d5d0a2a..defef87ad 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -13,7 +13,7 @@ travis_fold() {
 # Helper for distinguishing between different runs
 run() {
   case "$1" in
-  BuildDep)
+  Build1)
     # CMake
     travis_fold start cmake
     rm -rf build
@@ -28,37 +28,18 @@ run() {
     fi
     echo
     travis_fold end cmake
-    # Make resources
-    travis_fold start make_dep
-    make resources -j$N_JOBS
-    make test-resources -j$N_JOBS
-    make l3pp_ext -j$N_JOBS
-    make sylvan -j$N_JOBS
-    travis_fold end make_dep
-    ;;
-
-  BuildLib1)
-    # Make libstorm (first try)
-    travis_fold start make_lib
-    cd build
-    make storm -j$N_JOBS
-    travis_fold end make_lib
-    ;;
-
-  BuildLib)
-    # Make libstorm
-    travis_fold start make_lib
-    cd build
-    make storm -j$N_JOBS
-    travis_fold end make_lib
+    # Make
+    travis_fold start make
+    make -j$N_JOBS
+    travis_fold end make
     ;;
 
-  BuildAll)
-    # Make all
-    travis_fold start make_all
+  Build2 | Build3 | Build4)
+    # Make (run 2-4)
+    travis_fold start make
     cd build
     make -j$N_JOBS
-    travis_fold end make_all
+    travis_fold end make
     ;;
 
   TestAll)