The Coq mailing list

[Edsko de Vries <devriese AT cs.tcd.ie>]

Hi Andres,

> >I have just received my new Apple iMac and I'm trying to install  
> >coqide.
> >I tried macports first, which has coq 8.1pl3, but doesn't appear to
> >support coqide.
> 
> You have to:
> 
> port install lablgtk2
> port install coq
> 
> to get the coqide. I suppose that the problem is that lablgtk2 is not  
> listed in the dependencies nor is there a variant to include it. To be  
> honest, I'm quite happy with macports. I have had very little problems  
> with it. Worked far better than Fink when I tried it.

Thanks for your reply, most helpful -- it makes a certain amount of
sense, although a warning would have been nice :) I guess I need to keep
a closer eye on what port actually does.

Thanks again,

Edsko