[MacPorts] #18327: incompatibility: lablgtk2 and ocaml

[MacPorts]

#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