[MacPorts] #43511: coq: unknown argument: '-fno-defer-pop' (was: unknown argument: '-fno-defer-pop')
MacPorts
noreply at macports.org
Mon Apr 28 04:58:54 PDT 2014
#43511: coq: unknown argument: '-fno-defer-pop'
------------------------------------+--------------------------------
Reporter: hippallium-macports@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.2.1
Resolution: | Keywords:
Port: coq |
------------------------------------+--------------------------------
Comment (by ryandesign@…):
Could you attach the main.log please?
What version of Xcode and clang are you using?
--
Ticket URL: <https://trac.macports.org/ticket/43511#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list