dev/build/windows/MakeCoq_85pl3_installer_32.bat


1
2
3
4
5
6
7
8

call MakeCoq_SetRootPath

call MakeCoq_MinGW.bat ^
  -arch=32 ^
  -installer=Y ^
  -coqver=8.5pl3 ^
  -destcyg=%ROOTPATH%\cygwin_coq32_85pl3_inst ^
  -destcoq=%ROOTPATH%\coq32_85pl3_inst