833589 – sci-mathematics/coq-8.15.0-r2 fails to compile: pdflatex: Command for pdflatex gave return code 1

Bug 833589 - sci-mathematics/coq-8.15.0-r2 fails to compile: pdflatex: Command for pdflatex gave return code 1

Summary: sci-mathematics/coq-8.15.0-r2 fails to compile: pdflatex: Command for pdflate...

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Science Mathematics related packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2022-02-18 07:29 UTC by Agostino Sarubbo
Modified:	2022-02-18 15:11 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
build.log (build.log,679.47 KB, text/plain) 2022-02-18 07:29 UTC, Agostino Sarubbo	Details
CoqRefMan.log.bz2 (CoqRefMan.log.bz2,165.12 KB, application/x-bzip-compressed-tar) 2022-02-18 12:53 UTC, Agostino Sarubbo	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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(+)