Bug 2072116
| Summary: | coq fails to build latex docs with Sphinx 4.5.0 | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Karolina Surma <ksurma> | ||||
| Component: | coq | Assignee: | Alan Dunn <amdunn> | ||||
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||
| Severity: | unspecified | Docs Contact: | |||||
| Priority: | unspecified | ||||||
| Version: | rawhide | CC: | amdunn, loganjerry | ||||
| Target Milestone: | --- | ||||||
| Target Release: | --- | ||||||
| Hardware: | Unspecified | ||||||
| OS: | Unspecified | ||||||
| Whiteboard: | |||||||
| Fixed In Version: | coq-8.15.2-2.fc37 | Doc Type: | If docs needed, set a value | ||||
| Doc Text: | Story Points: | --- | |||||
| Clone Of: | Environment: | ||||||
| Last Closed: | 2022-06-21 18:46:24 UTC | Type: | Bug | ||||
| Regression: | --- | Mount Type: | --- | ||||
| Documentation: | --- | CRM: | |||||
| Verified Versions: | Category: | --- | |||||
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |||||
| Cloudforms Team: | --- | Target Upstream Version: | |||||
| Embargoed: | |||||||
| Bug Depends On: | |||||||
| Bug Blocks: | 2068924 | ||||||
| Attachments: |
|
||||||
|
Description
Karolina Surma
2022-04-05 16:07:33 UTC
Created attachment 1871008 [details]
Full Sphinx traceback
I've extracted the extended Sphinx traceback from the build data.
I discussed this bug with Miro Hroncok and evaluated it as Sphinx regression. I opened the attached GH issue to Sphinx' upstream. I've commented out the problematic assert and tried to rebuild coq with the same bad result.
Truncated output:
Latexmk: ====List of undefined refs and citations:
Reference `language/core/sorts:term-algebraic-universe' on page 791 undefined on input line 80805
Reference `language/core/conversion:term-alpha-convertible' on page 791 undefined on input line 80806
Reference `language/core/basic:term-attribute' on page 791 undefined on input line 80807
Reference `proof-engine/ltac:term-backtracking' on page 791 undefined on input line 80810
Reference `proof-engine/ltac:term-backtracking-point' on page 791 undefined on input line 80811
Reference `proof-engine/tactics:term-backward-reasoning' on page 791 undefined on input line 80812
Reference `language/core/conversion:term-beta-redex' on page 791 undefined on input line 80813
And 1071 more --- see log file.
Latexmk: If appropriate, the -f option can be used to get latexmk
to try to force complete processing.
Latexmk: Getting log file 'CoqRefMan.log'
Latexmk: Summary of warnings from last run of *latex:
Latex failed to resolve 1078 reference(s)
=====Latex reported missing or unavailable character(s).
=====See log file for details.
Collected error summary (may duplicate other messages):
pdflatex: Command for 'pdflatex' gave return code 1
Refer to 'CoqRefMan.log' for details
CoqRefMan.log contains a lot of broken references and some returning error messages for the \pysigstopsignatures in question. Example fragment of log:
LaTeX Warning: Hyper reference `language/core/basic:grammar-token-ident' on pag
e 282 undefined on input line 1.
! Undefined control sequence.
\pysigstopsignatures ...store@itemsep@and@parskip
l.26217 \pysigstopsignatures
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
This was reported to the issue open on Sphinx upstream.
Thank you for working with upstream and for keeping us informed. FEDORA-2022-5fc4d80950 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-5fc4d80950 FEDORA-2022-5fc4d80950 has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report. |