build_mode="$1"
echo "Build mode $build_mode on $(uname -np)" >&2
+case "$build_mode" in
+ "Debug")
+ ;;
+
+ "ModelChecker")
+ ;;
+
+ "DynamicAnalysis")
+ ;;
+
+ *)
+ if test "$(uname -o)" = "Msys"; then
+ echo "On Windows, jenkins is not willing to expand variables for some reason" >&2
+ echo "Force use Debug mode" >&2
+ else
+ echo "Unknown build_mode $build_mode"
+ exit 1
+ fi
+ ;;
+esac
if test "$(uname -o)" = "Msys"; then
if [ -z "$NUMBER_OF_PROCESSORS" ]; then
tar xzf `cat VERSION`.tar.gz
cd `cat VERSION`
-case "$build_mode" in
- "Debug")
- ;;
-
- "ModelChecker")
- ;;
-
- "DynamicAnalysis")
- ;;
-
- *)
- die 1 "Unknown build_mode $build_mode"
- ;;
-esac
-
cmake -G"$GENERATOR"\
-Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \