coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Which Lablgtk2 works with 8.3?

From: Jianzhou Zhao <jianzhou AT seas.upenn.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Which Lablgtk2 works with 8.3?
Date: Thu, 25 Mar 2010 19:04:44 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=VLOJkelst9WMbUZQHffZSf5DaxhHu3RpQmTG/NOIC+Yar73j8mlb9G5yd2fsNaZQls IZg/DDNpTdgk0Vr7bBEgMVlOMP5jTuO/20i5yTza4ShxblGVlAB8QHOnSEqKpE6czfpz wcDAjokK92rjpKsmjEeBdD7HMn7CkDVRfoWaQ=

Hi,

I got the error when compiling 8.3:

./ide/utils/okey.mli line 33
Unbound type constructor Gdk.Tags.modifier

This seems a problem from Lablgtk2:
http://caml.inria.fr/pub/ml-archives/ocaml-beginners/2004/01/c57a676198b126994795763abf5ad5b1.en.html

I used
  Camlp5 version 5.13 (ocaml 3.11.0)
  Lablgtk2 with 2.12.0
  OpenSUSE 11.2
What is the correct Lablgtk2 CoqIDE needs?

I remember I had the same problem when I compiled 8.2 last year,
and commented CoqIDE compilations.

Thanks
--
Jianzhou

[Coq-Club] Which Lablgtk2 works with 8.3?, Jianzhou Zhao
- Re: [Coq-Club] Which Lablgtk2 works with 8.3?, Tom Hutchinson
  - Re: [Coq-Club] Which Lablgtk2 works with 8.3?, Jianzhou Zhao