#18327: incompatibility: lablgtk2 and ocaml -------------------------------------------+-------------------------------- Reporter: judufuru-gherthgr@… | Owner: pguyot@… Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.7.0 Keywords: ocaml | Port: lablgtk2 -------------------------------------------+-------------------------------- Comment(by constantine.plotnikov@…): I have encountered this problem as well (for coq 8.2). The problem was that gdk.cmi was compiled by the previous version of ocaml. So I deactivated, and then compiled and installed another variant of the library using new version of ocaml. After that coq has been build successfully. -- Ticket URL: <http://trac.macports.org/ticket/18327#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS