The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

> > gcc: The -mno-cygwin flag has been removed; use a mingw-targeted
> > cross-compiler.

Hi

Sorry for the late answer (holidays...). Indeed, in recent versions of
cygwin, the -mno-cygwin option is deprecated, it's the choice of the compiler
you install in your cygwin that determines whether you're building
native win32 apps or apps depending on the cygwin dlls.

But I'm still sligthly reluctant to brutally remove -mno-cygwin from the
configure script, since it may remains here and there users of the old
versions of cygwin where -mno-cygwin is mandatory.

In the meantime, you can simply remove the line mentionning -mno-cygwin
in configure (around line 630).

Strangely, I've made a try with the latest installer for ocaml 4.0 from
http://protz.github.com, and in my case the error messages were mere
warnings and the compilation has been successful.

Best,
Pierre Letouzey