blob: b9127c94547eab31f1f7ea5c33ffc055fc2cca7b (
plain)
1
2
3
4
5
6
7
8
|
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=32 ^
-installer=Y ^
-coqver=git-v8.6 ^
-destcyg=%ROOTPATH%\cygwin_coq32_86git_inst ^
-destcoq=%ROOTPATH%\coq32_86git_inst
|