The Coq mailing list

[Andrés Sicard-Ramírez <asr AT eafit.edu.co>]

On 12 November 2015 at 08:56, Enrico Tassi 
<enrico.tassi AT inria.fr>
 wrote:
> 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.
>

I could install Coq 8.5 beta 3 without CoqIde by removing lablgtk 2.14. 
Thanks!

> 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.

As someone *unfamiliar* with developing using Objective Caml, Camlp5
and lablgtk2, it seems odd that the versions of Objective Caml and
Camlp5 in Ubuntu LTS 12.04 are supported by Coq, but the version of
lablgtk doesn't.

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

Thanks. Please remember to update the required version of lablgtk2 in

  https://github.com/coq/coq/blob/v8.5/INSTALL.ide

-- 
Andrés