9 files changed, 78 insertions, 0 deletions
diff --git a/dev/build/windows/MakeCoq_86_abs_ocaml.bat b/dev/build/windows/MakeCoq_86_abs_ocaml.bat
new file mode 100644
index 0000000000..50483c4d4a
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86_abs_ocaml.bat
@@ -0,0 +1,10 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -mode=absolute ^
+  -ocaml=Y ^
+  -make=Y ^
+  -coqver=8.6 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86_abs ^
+  -destcoq=%ROOTPATH%\coq64_86_abs
diff --git a/dev/build/windows/MakeCoq_86_installer.bat b/dev/build/windows/MakeCoq_86_installer.bat
new file mode 100644
index 0000000000..263520ff14
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86_installer.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -installer=Y ^
+  -coqver=8.6 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86_inst ^
+  -destcoq=%ROOTPATH%\coq64_86_inst
diff --git a/dev/build/windows/MakeCoq_86_installer_32.bat b/dev/build/windows/MakeCoq_86_installer_32.bat
new file mode 100644
index 0000000000..14921dd7c3
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86_installer_32.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=32 ^
+  -installer=Y ^
+  -coqver=8.6 ^
+  -destcyg=%ROOTPATH%\cygwin_coq32_86_inst ^
+  -destcoq=%ROOTPATH%\coq32_86_inst
diff --git a/dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat b/dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat
new file mode 100644
index 0000000000..914c332f46
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat
@@ -0,0 +1,10 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -mode=absolute ^
+  -ocaml=Y ^
+  -make=Y ^
+  -coqver=8.6beta1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86beta1_abs ^
+  -destcoq=%ROOTPATH%\coq64_86beta1_abs
diff --git a/dev/build/windows/MakeCoq_86beta1_installer.bat b/dev/build/windows/MakeCoq_86beta1_installer.bat
new file mode 100644
index 0000000000..76a5bb35ac
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86beta1_installer.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -installer=Y ^
+  -coqver=8.6beta1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86beta1_inst ^
+  -destcoq=%ROOTPATH%\coq64_86beta1_inst
diff --git a/dev/build/windows/MakeCoq_86beta1_installer_32.bat b/dev/build/windows/MakeCoq_86beta1_installer_32.bat
new file mode 100644
index 0000000000..f53232b651
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86beta1_installer_32.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=32 ^
+  -installer=Y ^
+  -coqver=8.6beta1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq32_86beta1_inst ^
+  -destcoq=%ROOTPATH%\coq32_86beta1_inst
diff --git a/dev/build/windows/MakeCoq_86rc1_abs_ocaml.bat b/dev/build/windows/MakeCoq_86rc1_abs_ocaml.bat
new file mode 100644
index 0000000000..c0669f01d2
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86rc1_abs_ocaml.bat
@@ -0,0 +1,10 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -mode=absolute ^
+  -ocaml=Y ^
+  -make=Y ^
+  -coqver=8.6rc1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86rc1_abs ^
+  -destcoq=%ROOTPATH%\coq64_86rc1_abs
diff --git a/dev/build/windows/MakeCoq_86rc1_installer.bat b/dev/build/windows/MakeCoq_86rc1_installer.bat
new file mode 100644
index 0000000000..66234ebbde
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86rc1_installer.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=64 ^
+  -installer=Y ^
+  -coqver=8.6rc1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq64_86rc1_inst ^
+  -destcoq=%ROOTPATH%\coq64_86rc1_inst
diff --git a/dev/build/windows/MakeCoq_86rc1_installer_32.bat b/dev/build/windows/MakeCoq_86rc1_installer_32.bat
new file mode 100644
index 0000000000..96f43e16a5
--- /dev/null
+++ b/dev/build/windows/MakeCoq_86rc1_installer_32.bat
@@ -0,0 +1,8 @@
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+  -arch=32 ^
+  -installer=Y ^
+  -coqver=8.6rc1 ^
+  -destcyg=%ROOTPATH%\cygwin_coq32_86rc1_inst ^
+  -destcoq=%ROOTPATH%\coq32_86rc1_inst