coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?

From: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
To: Coq-Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?
Date: Wed, 16 Mar 2011 17:44:57 +0100

Hi,

On Wed, Mar 16, 2011 at 05:29:42PM +0100, Christian Doczkal wrote:

> I tried to compile things manually on Windows 7 (64bit) but camlp5
> (6.02.2) fails to build (under cygwin) using the binary distribution of
> the MinGW based Ocaml compiler (3.11.0).

My fault, it is a bug in latest Camlp5 version (6.02.2).

I made a patch (patch-6.02.2-1) available here:
http://pauillac.inria.fr/~ddr/camlp5/

--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/

[Coq-Club] Coq+Ssreflect 1.3 on Windows?, Christian Doczkal
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Jean-Marc Notin
- <Possible follow-ups>
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Daniel de Rauglaudre