https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/lean-3.51.1 fails to compile. Discovered on: amd64 (internal ref: gcc15_tinderbox) System: GCC-15-SYSTEM (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#GCC-15) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014
Created attachment 903342 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: FAILED: util/CMakeFiles/util.dir/hash.cpp.o /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:75:8: error: ‘uint64_t’ does not name a type
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=330f97cf5cc6e728931a94f8b4cc5b9ae100505c commit 330f97cf5cc6e728931a94f8b4cc5b9ae100505c Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2025-02-02 17:12:42 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-02-02 17:27:44 +0000 sci-mathematics/lean: treeclean SLOT 0/3 Closes: https://bugs.gentoo.org/939854 Closes: https://bugs.gentoo.org/937429 Closes: https://bugs.gentoo.org/936618 Signed-off-by: Maciej Barć <xgqt@gentoo.org> profiles/package.mask | 6 --- sci-mathematics/lean/Manifest | 1 - sci-mathematics/lean/lean-3.51.1.ebuild | 80 --------------------------------- 3 files changed, 87 deletions(-)
