aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build/windows/MakeCoq_86git_abs_ocaml_gtksrc.bat
blob: 896d1cd63364cd7e03d79ee12375bb082f74bd97 (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
27
28
29
@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 ^
  -mode=absolute ^
  -ocaml=Y ^
  -make=Y ^
  -gtksrc=Y ^
  -coqver=git-v8.6 ^
  -destcyg="%ROOTPATH%\cygwin_coq64_86git_abs_gtksrc" ^
  -destcoq="%ROOTPATH%\coq64_86git_abs_gtksrc"

IF %ERRORLEVEL% NEQ 0 (
  ECHO MakeCoq_86git_abs_ocaml_gtksrc.bat failed with error code %ERRORLEVEL%
  EXIT /b %ERRORLEVEL%
)