From a2fbcf111b7fdf6430e2478a67eb89cc442534d7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 16 Nov 2018 19:40:18 +0100
Subject: [PATCH] Travis: check build types
---
travis/build_helper.sh | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/travis/build_helper.sh b/travis/build_helper.sh
index 15a6dafeb..1f63e3c0a 100755
--- a/travis/build_helper.sh
+++ b/travis/build_helper.sh
@@ -61,6 +61,21 @@ run() {
travis_fold end test_all
;;
+ # Check correctness of build types
+ case "$CONFIG" in
+ DefaultDebug*)
+ ./bin/storm --version | grep "with flags .* -g"
+ ;;
+ DefaultRelease*)
+ ./bin/storm --version | grep "with flags .* -O3"
+ ./bin/storm --version | grep "with flags .* -DNDEBUG"
+ ;;
+ *)
+ echo "Unrecognized value of CONFIG: $CONFIG"; exit 1
+ ;;
+ esac
+ ;;
+
*)
echo "Unrecognized value of run: $1"
exit 1