coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry
Date: Thu, 12 Nov 2015 14:56:02 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
Ironport-phdr: 9a23:lQJZlhJhFagqE3ajb9mcpTZWNBhigK39O0sv0rFitYgUKf3xwZ3uMQTl6Ol3ixeRBMOAu68C07KempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lR8iK14ye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFsPU4ssVETK/SfqIiTLUeAi51HXoy4ZjGswPCRgzH2nIHSWRexhdOGQnO61fmV4zqswP7sPB80W+UJ5ulHvgPRT2+4vIzG1fTgyAdOmth/Q==

On Thu, Nov 12, 2015 at 08:41:04AM -0500, Andrés Sicard-Ramírez wrote:
> Additional information:
> OS: Ubuntu 12.04

I don't have such OS at hand, but according to
http://packages.ubuntu.com/search?keywords=lablgtk2
you should have lablgtk2 version 2.14, and the API used by Coq
seem to be an addition of 2.16.

One option is to switch to a more recent Ubuntu LTS (14.04), I did not
test it but it seems to have the 2.16 version you need.

I'll open a bug for you to make the configure script detect this issue.

Thanks for testing,
--
Enrico Tassi

[Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Andrés Sicard-Ramírez, 11/12/2015
- Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Enrico Tassi, 11/12/2015
  - Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Andrés Sicard-Ramírez, 11/12/2015