[MacPorts] #18327: incompatibility: lablgtk2 and ocaml
#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
#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 -------------------------------------------+-------------------------------- Changes (by jmr@…): * owner: macports-tickets@… => pguyot@… -- Ticket URL: <http://trac.macports.org/ticket/18327#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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 judufuru-gherthgr@…): well, well, well... -- Ticket URL: <http://trac.macports.org/ticket/18327#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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
#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 judufuru-gherthgr@…): Indeed it works. Could this kind of dependency be dealt with by port?... -- Ticket URL: <http://trac.macports.org/ticket/18327#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
#18327: incompatibility: lablgtk2 and ocaml -------------------------------------------+-------------------------------- Reporter: judufuru-gherthgr@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.7.0 Keywords: ocaml | Port: lablgtk2 -------------------------------------------+-------------------------------- Changes (by jmr@…): * cc: mww@… (added) -- Ticket URL: <https://trac.macports.org/ticket/18327#comment:8> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts