The Coq mailing list

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

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