#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