Bug 833589

Summary:	sci-mathematics/coq-8.15.0-r2 fails to compile: pdflatex: Command for pdflatex gave return code 1
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal	CC:	xgqt
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log CoqRefMan.log.bz2

Description Agostino Sarubbo gentoo-dev

2022-02-18 07:29:50 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/coq-8.15.0-r2 fails to compile.
Discovered on: amd64 (internal ref: ci)

NOTE:
If you think this is a GCC-11 related issue, please block bug 732706.

Comment 1 Agostino Sarubbo gentoo-dev

2022-02-18 07:29:53 UTC

Created attachment 765331 [details]
build.log

build log and emerge --info

Comment 2 Maciej Barć gentoo-dev

2022-02-18 11:54:53 UTC

> Collected error summary (may duplicate other messages):
>  pdflatex: Command for 'pdflatex' gave return code 1
>      Refer to 'CoqRefMan.log' for details

Agostino, could you, please, add CoqRefMan.log file?

Comment 3 Agostino Sarubbo gentoo-dev

2022-02-18 12:53:46 UTC

Created attachment 765379 [details]
CoqRefMan.log.bz2

CoqRefMan.log

Comment 4 Larry the Git Cow gentoo-dev

2022-02-18 15:11:31 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=157d3bc6f5e221bd738592ab82289ad8e081a6ca

commit 157d3bc6f5e221bd738592ab82289ad8e081a6ca
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-02-18 15:11:19 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-02-18 15:11:25 +0000

    sci-mathematics/coq: fix doc build - add missing fonts
    
    Closes: https://bugs.gentoo.org/833589
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 sci-mathematics/coq/coq-8.15.0-r2.ebuild | 2 ++
 1 file changed, 2 insertions(+)