3 files changed, 26 insertions, 0 deletions
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..50672a6b5d
--- /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_coq64_86rc1_inst ^
+  -destcoq=%ROOTPATH%\coq64_86rc1_inst