blob: ef593cc63a5f04d02c90521622b36525c5c64bb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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=32 ^
-installer=Y ^
-coqver=8.5pl3 ^
-destcyg="%ROOTPATH%\cygwin_coq32_85pl3_inst" ^
-destcoq="%ROOTPATH%\coq32_85pl3_inst"
IF %ERRORLEVEL% NEQ 0 (
ECHO MakeCoq_85pl3_installer_32.bat failed with error code %ERRORLEVEL%
EXIT /b %ERRORLEVEL%
)
|
