The Coq mailing list

[Todd Wilson <twilson AT cs.cmu.edu>]

About a week ago, I made the query below to this list.  It seemed like a 
basic question, but maybe everyone else thought so, too, and was waiting 
for someone else to answer it :-).  In the meantime, I tried installing 
Coq from sources, but I got what is apparently the same problem:

    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

On 04/10/2007 01:50 PM, Todd Wilson wrote:
> After using coqtop and Proof General, I'd like to try coqIDE, but it 
> seems to be available only in an RPM that is built against gtk2-2.6. 
> Unfortunately, I'm stuck with RHEL4 for the moment, for which the latest 
> version of gtk2 available is 2.4, and so I'm not able to install the 
> package.  Are there RPMs built against the earlier version of gtk2, or 
> tarballs that work, or can be compiled to work, with this version?