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_SetRootPath.bat | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 dev/build/windows/MakeCoq_SetRootPath.bat

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

diff --git a/dev/build/windows/MakeCoq_SetRootPath.bat b/dev/build/windows/MakeCoq_SetRootPath.bat
new file mode 100644
index 0000000000..3a3711724f
--- /dev/null
+++ b/dev/build/windows/MakeCoq_SetRootPath.bat
@@ -0,0 +1,16 @@
+@ ECHO OFF
+
+REM Figure out a root path for coq and cygwin
+
+REM For the \nul trick for testing folders see
+REM https://support.microsoft.com/en-us/kb/65994
+
+IF EXIST D:\bin\nul (
+  SET ROOTPATH=D:\bin
+) else if EXIST C:\bin (
+  SET ROOTPATH=C:\bin
+) else (
+  SET ROOTPATH=C:
+)
+
+ECHO ROOTPATH set to %ROOTPATH%
-- 
cgit v1.2.3