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