Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1706039 - coq FTBFS in rawhide/F31: The font "FreeSerif" cannot be found
Summary: coq FTBFS in rawhide/F31: The font "FreeSerif" cannot be found
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
high
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F31FTBFS PYTHON38 1732841
TreeView+ depends on / blocked
 
Reported: 2019-05-03 12:28 UTC by Miro Hrončok
Modified: 2019-07-31 22:40 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-06-09 04:07:01 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)
build.log from Koji (855.73 KB, text/plain)
2019-05-03 12:28 UTC, Miro Hrončok 		no flags Details
root.log from Koji (201.33 KB, text/plain)
2019-05-03 12:29 UTC, Miro Hrončok 		no flags Details
View All

Description Miro Hrončok 2019-05-03 12:28:38 UTC 
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.
Comment 1 Miro Hrončok 2019-05-03 12:29:35 UTC 
Created attachment 1562379 [details]
root.log from Koji
Comment 2 Jerry James 2019-06-09 04:07:01 UTC 
Fixed in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.