too long lines were shrinked: [328/424] : && /usr/bin/cmake -E rm -f libleanstatic.a && /usr/bin/x86_64-pc-linux-gnu-ar qc libleanstatic.a util/CMakeFiles/util.dir/debug.cpp.o util/CMakeFiles/util.dir/name.cpp.o util/CMakeFiles/util.dir/name_set.cpp.o util/CMakeFiles/util.dir/fresh_name.cpp.o util/CMakeFiles/util.dir/exception. [329/424] /usr/bin/x86_64-pc-linux-gnu-g++ -I/var/tmp/portage/sci-mathematics/lean-3.50.3/work/lean-3.50.3/src -Wall -Wextra -std=c++11 -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_B FAILED: shell/CMakeFiles/lean_js.dir/lean_js_main.cpp.o /usr/bin/x86_64-pc-linux-gnu-g++ -I/var/tmp/portage/sci-mathematics/lean-3.50.3/work/lean-3.50.3/src -Wall -Wextra -std=c++11 -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE= cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295] In file included from /var/tmp/portage/sci-mathematics/lean-3.50.3/work/lean-3.50.3/src/shell/lean_js_main.cpp:9: /var/tmp/portage/sci-mathematics/lean-3.50.3/work/lean-3.50.3/src/shell/lean_js.h:11:32: error: uintptr_t was not declared in this scope 11 | int emscripten_process_request(uintptr_t msg); | ^~~~~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20230216-050018 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe" gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): /usr/lib/llvm/15 15.0.7 Python 3.10.10 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby30 (with Rubygems) * Available Rust versions: [1] rust-bin-1.67.1 * The following VMs are available for generation-2: *) Eclipse Temurin JRE 17.0.6_p10 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-jre-bin-17 system-vm php cli (if any): HEAD of ::gentoo commit cfc3c5947d1d99eae1e80b6a22dffde0b30084ee Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Feb 17 22:16:59 2023 +0000 2023-02-17 22:16:59 UTC emerge -qpvO sci-mathematics/lean [ebuild N ] sci-mathematics/lean-3.50.3 USE="threads -debug"
Created attachment 852386 [details] emerge-info.txt
Created attachment 852388 [details] emerge-history.txt
Created attachment 852390 [details] environment
Created attachment 852392 [details] etc.portage.tar.bz2
Created attachment 852394 [details] logs.tar.bz2
Created attachment 852396 [details] sci-mathematics:lean-3.50.3:20230217-232048.log.bz2
ping, this should be a trivial missing include, and gcc 13 is about to be released
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93eca38ef76c1a9c568155659b891db542f22939 commit 93eca38ef76c1a9c568155659b891db542f22939 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-04-18 13:52:42 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-04-18 13:55:10 +0000 sci-mathematics/lean: fix build with GCC 13 Closes: https://bugs.gentoo.org/895202 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch | 10 ++++++++++ sci-mathematics/lean/lean-3.50.3.ebuild | 11 +++++++---- sci-mathematics/lean/lean-3.9999.ebuild | 13 ++++++++----- 3 files changed, 25 insertions(+), 9 deletions(-)
