From b802f1789b59a93bb84783125f61794c00d6c940 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 7 Dec 2016 15:18:03 +0100
Subject: Add bat files for 8.6beta1 build.

---
 dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat    | 10 ++++++++++
 dev/build/windows/MakeCoq_86beta1_installer.bat    |  8 ++++++++
 dev/build/windows/MakeCoq_86beta1_installer_32.bat |  8 ++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 dev/build/windows/MakeCoq_86beta1_abs_ocaml.bat
 create mode 100644 dev/build/windows/MakeCoq_86beta1_installer.bat
 create mode 100644 dev/build/windows/MakeCoq_86beta1_installer_32.bat

(limited to 'dev')

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..ff83087e75
--- /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_coq64_86beta1_inst ^
+  -destcoq=%ROOTPATH%\coq64_86beta1_inst
-- 
cgit v1.2.3