Skip to Content.
Sympa Menu

coq-club - [Coq-Club] coqide on Darwin

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqide on Darwin


chronological Thread 

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





Archive powered by MhonArc 2.6.16.

Top of Page