blob: 76a5bb35ac833557f4dd042d7a75d97454b05165 (
plain)
1
2
3
4
5
6
7
8
|
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=64 ^
-installer=Y ^
-coqver=8.6beta1 ^
-destcyg=%ROOTPATH%\cygwin_coq64_86beta1_inst ^
-destcoq=%ROOTPATH%\coq64_86beta1_inst
|