The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

Hi,

I'm trying to build Coq on windows, and make gives me the following error (full logs at https://www.dropbox.com/s/uz32nelthtu1r22/configure.txt and https://www.dropbox.com/s/163v4c33xwe5796/make.txt)

...

>
> OCAMLC    kernel/byterun/coq_fix_code.c
>
> gcc: The -mno-cygwin flag has been removed; use a mingw-targeted cross-compiler.
> Makefile.build:823: recipe for target `kernel/byterun/coq_fix_code.o' failed
> make[1]: *** [kernel/byterun/coq_fix_code.o] Error 2
> make[1]: Leaving directory `/cygdrive/d/Documents/Dropbox/MIT/2012 Summer/Categorical Informatics UROP/coq'
> Makefile:139: recipe for target `world' failed 
> make: *** [world] Error 2

Does this mean that I'm supposed to pass an argument to ./configure to tell cygwin to target mingw (what argument?), or that I'm supposed to use mingw instead of cygwin (but OCaml says at http://protz.github.com/ocaml-installer/ that MSys/MinGW is no longer supported), or something else?

Thanks in advance for any help.

-Jason

>
>
>
>
>
>
>
>