blob: 914c332f46c6c82a2c112a912b2d537e6cc7ee28 (
plain)
1
2
3
4
5
6
7
8
9
10
|
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=64 ^
-mode=absolute ^
-ocaml=Y ^
-make=Y ^
-coqver=8.6beta1 ^
-destcyg=%ROOTPATH%\cygwin_coq64_86beta1_abs ^
-destcoq=%ROOTPATH%\coq64_86beta1_abs
|