blob: f53232b651e1f873610009e0b9763f76c8ac341e (
plain)
1
2
3
4
5
6
7
8
|
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=32 ^
-installer=Y ^
-coqver=8.6beta1 ^
-destcyg=%ROOTPATH%\cygwin_coq32_86beta1_inst ^
-destcoq=%ROOTPATH%\coq32_86beta1_inst
|