Opened 10 years ago

Closed 10 years ago

#42121 closed defect (fixed)

coq: building with the variant +doc fails

Reported by: hippallium-macports@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.2.1
Keywords: Cc: cooljeanius (Eric Gallager), larryv (Lawrence Velázquez), kurthindenburg (Kurt Hindenburg)
Port: coq

Description

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

Change History (6)

comment:1 Changed 10 years ago by mf2k (Frank Schima)

Keywords: doc removed
Summary: The building of the port coq with the variant +doc failscoq: building with the variant +doc fails

comment:2 Changed 10 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:3 Changed 10 years ago by hippallium-macports@…

Solved!

The bug is due to a missing dependence to the package texlive-latex-extra that provides the needed comment.sty.

comment:4 Changed 10 years ago by larryv (Lawrence Velázquez)

Cc: larryv@… added

Cc Me!

comment:5 Changed 10 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:6 Changed 10 years ago by kurthindenburg (Kurt Hindenburg)

Resolution: fixed
Status: newclosed

fixed in r123031

Note: See TracTickets for help on using tickets.