The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT cnam.fr>]

Le Mon, 16 Apr 2007 10:45:26 -0400,
Todd Wilson 
<twilson AT cs.cmu.edu>
 a écrit :

>      twilson:coq-8.1# ./configure -opt
>      You have Objective-Caml 3.09.3. Good!
>      You have native-code compilation. Good!
>      LablGtk2 not found: CoqIde will not be available
> 
> I'm anxious to try out coqide, so if anyone can give me a pointer to 
> help me get it installed under Red Hat Enterprise Linux v.4 with 
> gtk2-2.4, I'd appreciate it.
> 
> Thanks,
> 
> Todd Wilson

Hello, I don't know if coq-8.1 is compatible with gtk2-2.4, I guess yes.

LablGtk2 is a ocaml library allowing to call gtk functions from
ocaml. Generally lablgtk is not in the same package than ocaml, so you
have to install it.

Hope this helps,
Pierre