#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@…): I do see the same error on my system with Xcode 5.1.1 and Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn). You should report the problem to the developers of coq so that they can fix it and release a new version. -- Ticket URL: <https://trac.macports.org/ticket/43511#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X