#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