1 2 3 4 5 6 7 8
call MakeCoq_SetRootPath call MakeCoq_MinGW.bat ^ -arch=32 ^ -installer=Y ^ -coqver=8.6 ^ -destcyg=%ROOTPATH%\cygwin_coq32_86_inst ^ -destcoq=%ROOTPATH%\coq32_86_inst