Add a test for jenkins to try a few configuration options

for the nightly build. This should trigger 16 builds for now, which may be a lot.

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
new file mode 100755 (executable)
index 0000000..931a135
--- /dev/null
+++ b/tools/jenkins/Flags.sh
@@ -0,0 +1,56 @@
+#!/bin/sh
+
+set -e
+
+die() {
+    echo "$@"
+    exit 1
+}
+
+do_cleanup() {
+  for d in "$WORKSPACE/build"
+  do
+    if [ -d "$d" ]
+    then
+      rm -rf "$d" || die "Could not remote $d"
+    fi
+  done
+}
+
+### Cleanup previous runs
+
+! [ -z "$WORKSPACE" ] || die "No WORKSPACE"
+[ -d "$WORKSPACE" ] || die "WORKSPACE ($WORKSPACE) does not exist"
+
+do_cleanup
+
+for d in "$WORKSPACE/build"
+do
+  mkdir "$d" || die "Could not create $d"
+done
+
+NUMPROC="$(nproc)" || NUMPROC=1
+
+cd $WORKSPACE/build
+
+for buildjava in ON OFF
+do
+  for buildmalloc in ON OFF
+  do
+    for buildsmpi in ON OFF
+    do
+      for buildmc in ON OFF
+      do
+        echo "build with java=${buildjava}, mallocators=${buildmalloc}, SMPI=${buildsmpi}, MC=${buildmc}"
+        cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=${buildjava} \
+              -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
+              -Denable_jedule=ON -Denable_mallocators=${buildmalloc} \
+              -Denable_smpi=${buildsmpi} -Denable_smpi_MPICH3_testsuite=${buildsmpi} -Denable_model-checking=${buildmc} \
+              -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=OFF -Denable_coverage=OFF $WORKSPACE
+        make -j$NUMPROC
+        make clean
+      done
+    done
+  done
+done 
+