[MacPorts] #22205: coq-8.2pl1 +coqide build failure.

[MacPorts]

#22205: coq-8.2pl1 +coqide build failure.
----------------------------------+-----------------------------------------
 Reporter:  aran@…                |       Owner:  reilles@…       
     Type:  defect                |      Status:  new             
 Priority:  Normal                |   Milestone:                  
Component:  ports                 |     Version:  1.8.1           
 Keywords:  coqide                |        Port:  coq             
----------------------------------+-----------------------------------------

Comment(by aran@…):

 ~ aran$ uname a; sw_vers; xcodebuild -version; port version; ocaml
 -version; file /opt/local/lib/ocaml/lablgtk2/gtkThread.cmo
 usage: uname [-amnprsv]
 ProductName:    Mac OS X
 ProductVersion: 10.5.8
 BuildVersion:   9L30
 Xcode 3.1.3
 Component versions: DevToolsCore-1192.0; DevToolsSupport-1186.0
 BuildVersion: 9M2736
 Version: 1.8.1
 The Objective Caml toplevel, version 3.11.1
 /opt/local/lib/ocaml/lablgtk2/gtkThread.cmo: Objective caml object file
 (.cmo) (Version 007).

 Like I mentioned, removing and reinstalling lablgtk2 allowed me to install
 coqide, so I'm not sure I can get my system back into the erroneous
 state... sorry.

-- 
Ticket URL: <http://trac.macports.org/ticket/22205#comment:4>
MacPorts <http://www.macports.org/>
Ports system for Mac OS