[MacPorts] #42121: The building of the port coq with the variant +doc fails

MacPorts noreply at macports.org
Tue Jan 14 03:01:34 PST 2014


#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


More information about the macports-tickets mailing list