[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:
[http://thread.gmane.org/gmane.os.apple.macports.user/9707/].
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