The Coq mailing list

["Elie Soubiran" <soubiran AT lix.polytechnique.fr>]

Hello,

You can either compile Coq/Coqide manually, in that case you just need
to install lablgtk2 with fink, or you can take a look to my homepage to check
if more recent releases (8.1pl3 and V8.2beta) work better for you.

http://www.lix.polytechnique.fr/Labo/Elie.Soubiran/fink/


Elie


On Tue, Sep 30, 2008 at 4:01 PM, Edsko de Vries 
<devriese AT cs.tcd.ie>
 wrote:
> Hi,
>
> 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. Uninstalled that and installed the slightly older
> (8.1pl2) DMGs from the coq website instead. I now have coqc, but running
> coqide complained about a missing gtk library. Used fink to install
> gtk+2, and tried again. It now complains:
>
> dyld: Library not loaded: /usr/X11/lib/libfontconfig.1.dylib
>  Referenced from: /usr/X11R6/lib/libXft.2.dylib
>  Reason: Incompatible library version: libXft.2.dylib requires version 
> 5.0.0 or later, but libfontconfig.1.dylib provides version 2.0.0
>
> Any ideas? I'm unfortunately no Mac expert (but so far I'm less than
> impressed by the Mac package management systems..)
>
> Edsko
>
> --------------------------------------------------------
> Bug reports: http://logical.futurs.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>          http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>