#42121: The building of the port coq with the variant +doc fails -----------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Keywords: doc | Port: coq -----------------------------------+-------------------------------- The command and the error message are: {{{ $ sudo port install -v coq +coqide +doc Password: ---> Computing dependencies for coq ---> Building coq Error: org.macports.build for port coq returned: command execution failed Please see the log file for port coq for details: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log To report a bug, follow the instructions in the guide: http://guide.macports.org/#project.tickets Error: Processing of port coq failed }}} The interesting part of the log file is: {{{ :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_rsync.macports.org_release_tarballs_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_rsync.macports.org_release_tarballs_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_rsync.macports.org_release_tarballs_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_rsync.macports.org_release_tarballs_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_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl3' :info:build CHECK revision :info:build This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/MacPorts 2013_5) :info:build restricted \write18 enabled. :info:build entering extended mode :info:build I couldn't open file name `Reference-Manual.aux' :info:build Couldn't find input index file Reference-Manual nor Reference- Manual.idx. :info:build Usage: makeindex [-ilqrcgLT] [-s sty] [-o ind] [-t log] [-p num] [idx0 idx1 ...] :info:build egrep: Reference-Manual.ilg: No such file or directory :info:build Input index file Reference-Manual.tacidx not found. :info:build Usage: makeindex [-ilqrcgLT] [-s sty] [-o ind] [-t log] [-p num] [idx0 idx1 ...] :info:build egrep: Reference-Manual.ilg: No such file or directory :info:build Input index file Reference-Manual.comidx not found. :info:build Usage: makeindex [-ilqrcgLT] [-s sty] [-o ind] [-t log] [-p num] [idx0 idx1 ...] :info:build egrep: Reference-Manual.ilg: No such file or directory :info:build Input index file Reference-Manual.erridx not found. :info:build Usage: makeindex [-ilqrcgLT] [-s sty] [-o ind] [-t log] [-p num] [idx0 idx1 ...] :info:build egrep: Reference-Manual.ilg: No such file or directory :info:build ! LaTeX Error: File `comment.sty' not found. (file Reference- Manual.tex) :info:build :info:build Type X to quit or <RETURN> to proceed, :info:build or enter new name. (Default extension: sty) :info:build :info:build Enter file name: :info:build ! Emergency stop. (file Reference-Manual.tex) :info:build <read *> :info:build :info:build l.15 :info:build ewif :info:build \ifhevea\heveafalse^^M :info:build AddRefMan-pre.tex Cases.tex Cases.v.tex Classes.tex Classes.v.tex Coercion.tex Coercion.v.tex Extraction.tex Extraction.v.tex Helm.tex Micromega.tex Micromega.v.tex Natural.tex Nsatz.tex Nsatz.v.tex Omega.tex Omega.v.tex Polynom.tex Polynom.v.tex Program.tex Program.v.tex RefMan-add.tex RefMan-cic.tex RefMan-cic.v.tex RefMan-coi.tex RefMan- com.tex RefMan-decl.tex RefMan-decl.v.tex RefMan-ext.tex RefMan-ext.v.tex RefMan-gal.tex RefMan-gal.v.tex RefMan-ide.tex RefMan-ind.tex RefMan- int.tex RefMan-lib.tex RefMan-lib.v.tex RefMan-ltac.tex RefMan-ltac.v.tex RefMan-mod.tex RefMan-mod.v.tex RefMan-modr.tex RefMan-oth.tex RefMan- oth.v.tex RefMan-pre.tex RefMan-pro.tex RefMan-pro.v.tex RefMan-sch.tex RefMan-sch.v.tex RefMan-syn.tex RefMan-syn.v.tex RefMan-tac.tex RefMan- tac.v.tex RefMan-tacex.tex RefMan-tacex.v.tex RefMan-tus.tex RefMan- uti.tex Reference-Manual.log Reference-Manual.tex Setoid.tex Setoid.v.tex biblio.bib coqdoc.tex coqide-queries.eps coqide-queries.png coqide.eps coqide.png headers.hva headers.sty hevea.sty index.html menu.html styles.hva (cannot ^Mead from terminal in nonstop modes) :info:build :info:build :info:build Here is how much of TeX's memory you used: :info:build 1466 strings out of 494228 :info:build 16211 string characters out of 6157730 :info:build 64170 words of memory out of 5000000 :info:build 4789 multiletter control sequences out of 15000+600000 :info:build 4709 words of font info for 16 fonts, out of 8000000 for 9000 :info:build 430 hyphenation exceptions out of 8191 :info:build 27i,0n,26p,228b,37s stack positions out of 5000i,500n,10000p,200000b,80000s :info:build No pages of output. :info:build :info:build make[1]: *** [doc/refman/Reference-Manual.dvi] Error 1 :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_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_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4pl3' :info:build Command failed: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_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 82434 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_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log }}} Thank you, David -- Ticket URL: <https://trac.macports.org/ticket/42121> MacPorts <http://www.macports.org/> Ports system for OS X