coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqide does not compile with lablgtk2-2.16.0_3 + gtksourceview2-2.10.5_4

From: Pierre Letouzey <pierre.letouzey AT inria.fr>
To: Jean-Jacques Levy <jean-jacques.levy AT inria.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] coqide does not compile with lablgtk2-2.16.0_3 + gtksourceview2-2.10.5_4
Date: Mon, 29 Oct 2012 16:45:42 +0100 (CET)

Hi Jean-Jacques,

This is a known issue, already fixed in the svn repository of Coq
(cf commit 15816 in branch 8.4). A 8.4pl1 should be annonced soon
with this fix and some others.

Best regards,
Pierre Letouzey

----- Mail original -----
> Hi Friends!
>
> 'coqide' does not compile with lablgtk2-2.16.0_3 +
> gtksourceview2-2.10.5_4 + macosx 10.8.2 + ocaml @4.00.1_0
>
> Errors with new Gtk.Tags.modifier at:
>
> File "ide/utils/okey.ml", line 103, characters 46-55
> File "ide/preferences.ml", line 31, characters 6-11
>
> It works with adding default cases in these 2 files.
>
> -JJ-
>
>
>

[Coq-Club] coqide does not compile with lablgtk2-2.16.0_3 + gtksourceview2-2.10.5_4, Jean-Jacques Levy, 10/24/2012
- Re: [Coq-Club] coqide does not compile with lablgtk2-2.16.0_3 + gtksourceview2-2.10.5_4, Pierre Letouzey, 10/29/2012