call MakeCoq_SetRootPath

call MakeCoq_MinGW.bat ^
  -arch=64 ^
  -installer=Y ^
  -coqver=8.6rc1 ^
  -destcyg=%ROOTPATH%\cygwin_coq64_86rc1_inst ^
  -destcoq=%ROOTPATH%\coq64_86rc1_inst