[MacPorts] #15403: camlp5 5.08 gramlib.a not installed

MacPorts noreply at macports.org
Thu May 22 13:55:06 PDT 2008

#15403: camlp5 5.08 gramlib.a not installed
 Reporter:  diem at cs.vu.nl     |       Owner:  macports-tickets at lists.macosforge.org
     Type:  defect            |      Status:  new                                  
 Priority:  Normal            |   Milestone:                                       
Component:  ports             |     Version:  1.6.0                                
 Keywords:  camlp5 gramlib.a  |  
 The port camlp5 seems to install fine. However, when trying to install coq
 (dependent on camlp5) there is an error message about a missing file
 gramlib.a. See this thread on the macusers mailing list:

 I have attached the output of {{{  port -ncufd upgrade campl5 }}}.

 I am on PPC mac, OS X 10.4.11. I have XCode 2.5 installed.

Ticket URL: <http://trac.macports.org/ticket/15403>
MacPorts <http://www.macports.org/>
Ports system for Mac OS

More information about the macports-tickets mailing list