From 3e19c53bffa95c6c6f4fd5006d54668f36694dd2 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 10 Nov 2016 12:25:24 +0100
Subject: Add Michael Soegtrop's new script to build windows installer.

---
 dev/build/windows/MakeCoq_86git_installer_32.bat | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 dev/build/windows/MakeCoq_86git_installer_32.bat

(limited to 'dev/build/windows/MakeCoq_86git_installer_32.bat')

diff --git a/dev/build/windows/MakeCoq_86git_installer_32.bat b/dev/build/windows/MakeCoq_86git_installer_32.bat
new file mode 100644
index 0000000000..b9127c9454
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86git_installer_32.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=32 ^
+  -installer=Y ^
+  -coqver=git-v8.6 ^
+  -destcyg=%ROOTPATH%\cygwin_coq32_86git_inst ^
+  -destcoq=%ROOTPATH%\coq32_86git_inst
-- 
cgit v1.2.3