Opened 15 years ago

Closed 6 years ago

#18327 closed defect (duplicate)

incompatibility: lablgtk2 and ocaml

Reported by: judufuru-gherthgr@… Owned by: pmetzger (Perry E. Metzger)
Priority: Normal Milestone:
Component: ports Version: 1.7.0
Keywords: ocaml Cc: mww@…, constantine.plotnikov@…
Port: lablgtk2

Description

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

Change History (11)

comment:1 Changed 15 years ago by jmroot (Joshua Root)

Owner: changed from macports-tickets@… to pguyot@…

comment:2 Changed 15 years ago by judufuru-gherthgr@…

well, well, well...

comment:3 Changed 15 years ago 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.

comment:4 Changed 15 years ago by constantine.plotnikov@…

Cc: constantine.plotnikov@… added

Cc Me!

comment:5 Changed 15 years ago by judufuru-gherthgr@…

Indeed it works. Could this kind of dependency be dealt with by port?...

comment:6 Changed 15 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

comment:7 Changed 13 years ago by jmroot (Joshua Root)

Owner: changed from pguyot@… to macports-tickets@…

comment:8 Changed 13 years ago by jmroot (Joshua Root)

Cc: mww@… added

comment:9 Changed 6 years ago by pmetzger (Perry E. Metzger)

Owner: changed from macports-tickets@… to pmetzger
Status: newassigned

comment:10 Changed 6 years ago by pmetzger (Perry E. Metzger)

This is apparently an instance of the problem that binaries compiled with one version of ocaml fail with a newer version of ocaml. I have replaced this with the following ticket: https://trac.macports.org/ticket/56376

comment:11 Changed 6 years ago by pmetzger (Perry E. Metzger)

Resolution: duplicate
Status: assignedclosed
Note: See TracTickets for help on using tickets.