coq: unknown argument: '-fno-defer-pop'

[hippallium-macports@…]

:notice:build --->  Building coq
:debug:build Executing org.macports.build (coq)
:debug:build port disallows a parallel build
:debug:build Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.9'
:debug:build Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3" && /usr/bin/make -w world'
:debug:build Executing command line:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3" && /usr/bin/make -w world 
:info:build make: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3'
:info:build /Applications/Xcode.app/Contents/Developer/usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build "world"
:info:build make[1]: Entering directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3'
:info:build CHECK revision
:info:build OCAMLC    kernel/byterun/coq_fix_code.c
:info:build clang: error: unknown argument: '-fno-defer-pop' [-Wunused-command-line-argument-hard-error-in-future]
:info:build clang: note: this will be a hard error (cannot be downgraded to a warning) in the future
:info:build make[1]: *** [kernel/byterun/coq_fix_code.o] Error 2
:info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3'
:info:build make: *** [world] Error 2
:info:build make: Leaving directory `/opt/local/var/macports/build/_opt_local_va
r_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3'
:info:build Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/work/coq-8.4pl3" && /usr/bin/make -w world 
:info:build Exit code: 2
:error:build org.macports.build for port coq returned: command execution failed
:debug:build Error code: CHILDSTATUS 73544 2
:debug:build Backtrace: command execution failed
    while executing
"system -nice 0 $fullcmdstring"
    ("eval" body line 1)
    invoked from within
"eval system $notty $nice \$fullcmdstring"
    invoked from within
"command_exec build"
    (procedure "portbuild::build_main" line 8)
    invoked from within
"$procedure $targetname"
:info:build Warning: targets not executed for coq: org.macports.activate org.macports.build org.macports.destroot org.macports.install
:notice:build Please see the log file for port coq for details:
    /opt/local/var/macports/logs/_opt_local_var_macports_sources_distfiles.macports.org_ports_lang_coq/coq/main.log

[ryandesign (Ryan Carsten Schmidt)]

Could you attach the main.log please?

What version of Xcode and clang are you using?

[ryandesign (Ryan Carsten Schmidt)]

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.

[kurthindenburg (Kurt Hindenburg)]

Cc Me!

[kurthindenburg (Kurt Hindenburg)]

It build here w/ the latest version - there's a updated version and fixes to build from #45508

[Ionic (Mihai Moldovan)]

Feel free to reopen, if that's still a problem.