#18327: incompatibility: lablgtk2 and ocaml -------------------------------------------+-------------------------------- Reporter: judufuru-gherthgr@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.7.0 Keywords: ocaml | Port: lablgtk2 -------------------------------------------+-------------------------------- I think that the port 'lablgtk2' is too old and thus not compatible with the recent upgrade of the port 'ocaml'. When I compile Coq 8.2rc2 (http://coq.inria.fr/V8.2rc2/), I get the following error message: {{{ OCAMLOPT contrib/micromega/csdpcert.ml OCAMLOPT -o contrib/micromega/csdpcert true contrib/micromega/csdpcert OCAMLC ide/utils/okey.mli File "ide/utils/okey.mli", line 1, characters 0-1: Error: /opt/local/lib/ocaml/lablgtk2/gdk.cmi is not a compiled interface make[1]: *** [ide/utils/okey.cmi] Error 2 make: *** [world] Error 2 }}} -- Ticket URL: <http://trac.macports.org/ticket/18327> MacPorts <http://www.macports.org/> Ports system for Mac OS