Bug 921365 – sci-mathematics/lean-4.11.0 does not respect CFLAGS (GCC-14-SYSTEM)

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2024-01-04 19:45:19 UTC]

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

Issue: sci-mathematics/lean-4.2.0 calls commands that do not exist (GCC-14-SYSTEM).
Discovered on: amd64 (internal ref: gcc14_tinderbox)

NOTE:
(GCC-14-SYSTEM) in the summary means that the bug was found on a machine that runs gcc-14 but this bug MAY or MAY NOT BE related to the new compiler
Please look for 'command not found' and/or 'no such file or directory'.

[Comment 1 Agostino Sarubbo 2024-01-04 19:45:22 UTC]

Created attachment 881484 [details]
build.log.xz

build log and emerge --info (compressed because it exceeds attachment limit, use 'xzless' to read it)

[Comment 2 Maciej Barć 2024-01-05 02:42:37 UTC]

> Please look for 'command not found' and/or 'no such file or directory'.

I dont see anything...? Was stderr removed?

[Comment 3 Agostino Sarubbo 2024-01-05 08:56:23 UTC]

(In reply to Maciej Barć from comment #2)
> > Please look for 'command not found' and/or 'no such file or directory'.
> 
> I dont see anything...? Was stderr removed?

maybe something went wrong. It's a cflags issue

[Comment 4 Agostino Sarubbo 2024-09-20 06:42:11 UTC]

ci has reproduced this issue with version 4.11.0 - Updating summary.