#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