incompatibility: lablgtk2 and ocaml

[judufuru-gherthgr@…]

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

[judufuru-gherthgr@…]

well, well, well...

[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.

[constantine.plotnikov@…]

Cc Me!

[judufuru-gherthgr@…]

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

[(none)]

Milestone Port Bugs deleted

[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