diff options
| author | Enrico Tassi | 2020-04-06 09:53:41 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-05-07 14:02:53 +0200 |
| commit | 9c111b3ed2dd16b86cc8e187b5e35ebdd482668f (patch) | |
| tree | 10b9e1c2d4335c29fe7138cec922f0c97ba7a775 /dev/build/windows/MakeCoq_master_installer.bat | |
| parent | 18a78b53f6998d3af8f8bb1b7a6b5054af232d4e (diff) | |
[win] Coq trunk is now called master
The old script was still working but downloading an old version,
probably there is a git ref called trunk somewhere
Diffstat (limited to 'dev/build/windows/MakeCoq_master_installer.bat')
| -rwxr-xr-x | dev/build/windows/MakeCoq_master_installer.bat | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev/build/windows/MakeCoq_master_installer.bat b/dev/build/windows/MakeCoq_master_installer.bat new file mode 100755 index 0000000000..72640d5d79 --- /dev/null +++ b/dev/build/windows/MakeCoq_master_installer.bat @@ -0,0 +1,26 @@ +@ECHO OFF
+
+REM ========== COPYRIGHT/COPYLEFT ==========
+
+REM (C) 2016 Intel Deutschland GmbH
+REM Author: Michael Soegtrop
+
+REM Released to the public by Intel under the
+REM GNU Lesser General Public License Version 2.1 or later
+REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html
+
+REM ========== BUILD COQ ==========
+
+call MakeCoq_SetRootPath
+
+call MakeCoq_MinGW.bat ^
+ -arch=64 ^
+ -installer=Y ^
+ -coqver=git-master ^
+ -destcyg="%ROOTPATH%\cygwin_coq64_trunk_inst" ^
+ -destcoq="%ROOTPATH%\coq64_trunk_inst"
+
+IF %ERRORLEVEL% NEQ 0 (
+ ECHO MakeCoq_86git_installer.bat failed with error code %ERRORLEVEL%
+ EXIT /b %ERRORLEVEL%
+)
|