#15403: camlp5 5.08 gramlib.a not installed ------------------------------+--------------------------------------------- Reporter: diem@cs.vu.nl | Owner: macports-tickets@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