coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Edsko de Vries <devriese AT cs.tcd.ie>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] coqide on Darwin
- Date: Tue, 30 Sep 2008 15:01:04 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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
- [Coq-Club] coqide on Darwin, Edsko de Vries
- Re: [Coq-Club] coqide on Darwin,
Elie Soubiran
- Re: [Coq-Club] coqide on Darwin, Edsko de Vries
- Re: [Coq-Club] coqide on Darwin,
Elie Soubiran
Archive powered by MhonArc 2.6.16.