Bug 1706039
| Summary: | coq FTBFS in rawhide/F31: The font "FreeSerif" cannot be found | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Miro Hrončok <mhroncok> | ||||||
| Component: | coq | Assignee: | Alan Dunn <amdunn> | ||||||
| Status: | CLOSED RAWHIDE | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||||
| Severity: | high | Docs Contact: | |||||||
| Priority: | unspecified | ||||||||
| Version: | rawhide | CC: | amdunn, loganjerry | ||||||
| Target Milestone: | --- | ||||||||
| Target Release: | --- | ||||||||
| Hardware: | Unspecified | ||||||||
| OS: | Unspecified | ||||||||
| Whiteboard: | |||||||||
| Fixed In Version: | Doc Type: | If docs needed, set a value | |||||||
| Doc Text: | Story Points: | --- | |||||||
| Clone Of: | Environment: | ||||||||
| Last Closed: | 2019-06-09 04:07:01 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: | 1700317, 1686977, 1732841 | ||||||||
| Attachments: |
|
||||||||
Created attachment 1562379 [details]
root.log from Koji
Fixed in Rawhide. |
Created attachment 1562378 [details] build.log from Koji coq-8.8.2-2.fc31 fails to build in rwahide: BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/polyglossia/gloss-english.ldf)kpathsea:make_tex: Invalid filename `[FreeSerif.otf]/OT', contains '[' !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! ! fontspec error: "font-not-found" ! ! The font "FreeSerif" cannot be found. ! ! See the fontspec documentation for further information. ! ! For immediate help type H <return>. !............................................... l.28 ] ? ! Emergency stop. !............................................... l.28 ] No pages of output. Transcript written on CoqRefMan.log. BUILDSTDERR: Latexmk: Log file says no output from latex BUILDSTDERR: Latexmk: For rule 'pdflatex', no output was made === TeX engine is 'XeTeX' Latexmk: Errors, so I did not complete making targets BUILDSTDERR: Latexmk: Use the -f option to force complete processing, BUILDSTDERR: unless error was exceeding maximum runs, or warnings treated as errors. make[4]: Leaving directory '/builddir/build/BUILD/coq-8.8.2/doc/sphinx/_build/latex' BUILDSTDERR: make[4]: *** [Makefile:33: CoqRefMan.pdf] Error 12 BUILDSTDERR: make[3]: *** [Makefile.doc:77: refman-pdf] Error 2 make[3]: Leaving directory '/builddir/build/BUILD/coq-8.8.2' make[2]: Leaving directory '/builddir/build/BUILD/coq-8.8.2' BUILDSTDERR: make[2]: *** [Makefile:191: submake] Error 2 BUILDSTDERR: make[1]: *** [Makefile.doc:81: refman] Error 2 make[1]: Leaving directory '/builddir/build/BUILD/coq-8.8.2' BUILDSTDERR: make: *** [Makefile:191: submake] Error 2 BUILDSTDERR: error: Bad exit status from /var/tmp/rpm-tmp.CDb1o4 (%build) BUILDSTDERR: Bad exit status from /var/tmp/rpm-tmp.CDb1o4 (%build) RPM build errors: Child return code was: 1 Full logs attached. this blocks the Python 3.8 rebuild, but the failure is Python version agnostic.