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

MacPorts noreply at macports.org
Mon Oct 26 12:46:41 PDT 2009


#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 kiyoshi.coquser@…):

 Please show us the details about your environment.

 uname -a; sw_vers; xcodebuild -version; port version; ocaml -version; file
 /opt/local/lib/ocaml/lablgtk2/gtkThread.cmo

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


More information about the macports-tickets mailing list