[MacPorts] #43511: unknown argument: '-fno-defer-pop'

[MacPorts]

#43511: unknown argument: '-fno-defer-pop'
-----------------------------------+--------------------------------
 Reporter:  hippallium-macports@…  |      Owner:  macports-tickets@…
     Type:  defect                 |     Status:  new
 Priority:  Normal                 |  Milestone:
Component:  ports                  |    Version:  2.2.1
 Keywords:                         |       Port:  coq
-----------------------------------+--------------------------------
 {{{
 :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
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/43511>
MacPorts <http://www.macports.org/>
Ports system for OS X