blob: 2b0b83fed51796a707b5b4ab39ffe4a2ba26d004 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
call MakeCoq_SetRootPath
SET HTTP_PROXY=
EXPORT HTTP_PROXY=
MKDIR C:\Temp\srccache
call MakeCoq_MinGW.bat ^
-arch=64 ^
-mode=absolute ^
-ocaml=Y ^
-make=Y ^
-coqver 8.5pl2 ^
-srccache C:\Temp\srccache ^
-cygquiet=Y ^
-destcyg %ROOTPATH%\cygwin_coq64_85pl2_abs ^
-destcoq %ROOTPATH%\coq64_85pl2_abs
pause
|