[MacPorts] #18327: incompatibility: lablgtk2 and ocaml

[MacPorts]

#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