coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Jean-Jacques Levy <jean-jacques.levy AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] coqide does not compile with lablgtk2-2.16.0_3 + gtksourceview2-2.10.5_4
Date: Wed, 24 Oct 2012 13:28:15 +0200

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