aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build/windows/MakeCoq_86rc1_abs_ocaml.bat
blob: c0669f01d253cc0032232142543f629c87fd6cde (plain)
1
2
3
4
5
6
7
8
9
10
call MakeCoq_SetRootPath

call MakeCoq_MinGW.bat ^
  -arch=64 ^
  -mode=absolute ^
  -ocaml=Y ^
  -make=Y ^
  -coqver=8.6rc1 ^
  -destcyg=%ROOTPATH%\cygwin_coq64_86rc1_abs ^
  -destcoq=%ROOTPATH%\coq64_86rc1_abs