1 files changed, 35 insertions, 0 deletions
diff --git a/cmake-win b/cmake-win
new file mode 100755
index 00000000..3a5278ef
--- /dev/null
+++ b/cmake-win
@@ -0,0 +1,35 @@
+#!/bin/bash
+set -e
+whoami=$(basename $0)
+tool=$1
+mode=$2
+
+dir=$(realpath --relative-to . $(dirname $0))
+if [ "$dir" = "." ]; then
+    echo 1>&2 "$whoami: run from other than the source directory."
+    exit 2
+fi
+declare -a args
+case $tool in
+    msvc)
+        args=(-DCMAKE_BUILD_TYPE=RelWithDebInfo)
+        if cl 2>&1 | grep -q 'for x86'; then
+            args=("${args[@]}" -A win32)
+        fi
+        ;;
+    mingw)
+        args=(-G 'MSYS Makefiles' -DCMAKE_BUILD_TYPE=RelWithDebInfo)
+        ;;
+    *)
+        echo 1>&2 "Usage: $whoami {msvc|mingw}"
+        exit 2
+        ;;
+esac
+if [ "$mode" = "maint" ]; then
+    args=("${args[@]}" -DMAINTAINER_MODE=1 -DBUILD_DOC=0 -DBUILD_STATIC_LIBS=0)
+elif [ "$mode" = "ci" ]; then
+    args=("${args[@]}" -DCI_MODE=1 -DINSTALL_MANUAL=1)
+fi
+
+set -x
+cmake "${args[@]}" $dir