blob: 40506318e1280b8d6aee2baafae434566692db4a (
plain)
1
2
3
4
5
6
7
8
|
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=64 ^
-installer=Y ^
-coqver=git-v8.6 ^
-destcyg=%ROOTPATH%\cygwin_coq64_86git_inst ^
-destcoq=%ROOTPATH%\coq64_86git_inst
|