coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Building coq on windows

From: Adam Chlipala <adamc AT csail.mit.edu>
To: Pierre Letouzey <pierre.letouzey AT inria.fr>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Building coq on windows
Date: Tue, 07 Aug 2012 14:09:56 -0400

On 08/07/2012 02:07 PM, Pierre Letouzey wrote:

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).

Isn't this the sort of problem that should be solved by getting 'configure' to run a test seeing which flags the compiler likes?

Re: [Coq-Club] Building coq on windows, Pierre Letouzey, 08/07/2012
- Re: [Coq-Club] Building coq on windows, Adam Chlipala, 08/07/2012
- <Possible follow-up(s)>
- Re: [Coq-Club] Building coq on windows, Pierre Letouzey, 08/07/2012
  - Re: [Coq-Club] Building coq on windows, Jason Gross, 08/08/2012