Hi Thanks to Ryan Schmidt I managed to install port labgtk2, and then port coq. This all went fine, at least so it seemed. However, if I try to run coqide, I get the message:
Xlib: extension "RANDR" missing on display ":0.0". followed by multiple copies of this line: (coqide:23495): Pango-WARNING **: Error loading GDEF table 0x6EAD Anyone an idea? Dimitri _______________________________________________ macports-users mailing list macports-users@lists.macosforge.org http://lists.macosforge.org/mailman/listinfo.cgi/macports-users
