Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 895202 - sci-mathematics/lean-3.50.3 - /.../lean_js.h: error: uintptr_t was not declared in this scope
Summary: sci-mathematics/lean-3.50.3 - /.../lean_js.h: error: uintptr_t was not declar...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
Depends on:
Blocks: gcc-13
  Show dependency tree
Reported: 2023-02-18 08:37 UTC by Toralf Förster
Modified: 2023-04-18 13:55 UTC (History)
0 users

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

emerge-info.txt (emerge-info.txt,18.97 KB, text/plain)
2023-02-18 08:37 UTC, Toralf Förster
emerge-history.txt (emerge-history.txt,235.48 KB, text/plain)
2023-02-18 08:37 UTC, Toralf Förster
environment (environment,98.45 KB, text/plain)
2023-02-18 08:37 UTC, Toralf Förster
etc.portage.tar.bz2 (etc.portage.tar.bz2,48.73 KB, application/x-bzip)
2023-02-18 08:37 UTC, Toralf Förster
logs.tar.bz2 (logs.tar.bz2,4.81 KB, application/x-bzip)
2023-02-18 08:37 UTC, Toralf Förster
sci-mathematics:lean-3.50.3:20230217-232048.log.bz2 (sci-mathematics:lean-3.50.3:20230217-232048.log.bz2,14.41 KB, application/x-bzip)
2023-02-18 08:37 UTC, Toralf Förster

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2023-02-18 08:37:51 UTC
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):
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 <>
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"
Comment 1 Toralf Förster gentoo-dev 2023-02-18 08:37:52 UTC
Created attachment 852386 [details]
Comment 2 Toralf Förster gentoo-dev 2023-02-18 08:37:54 UTC
Created attachment 852388 [details]
Comment 3 Toralf Förster gentoo-dev 2023-02-18 08:37:55 UTC
Created attachment 852390 [details]
Comment 4 Toralf Förster gentoo-dev 2023-02-18 08:37:56 UTC
Created attachment 852392 [details]
Comment 5 Toralf Förster gentoo-dev 2023-02-18 08:37:57 UTC
Created attachment 852394 [details]
Comment 6 Toralf Förster gentoo-dev 2023-02-18 08:37:58 UTC
Created attachment 852396 [details]
Comment 7 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-04-18 08:29:11 UTC
ping, this should be a trivial missing include, and gcc 13 is about to be released
Comment 8 Larry the Git Cow gentoo-dev 2023-04-18 13:55:13 UTC
The bug has been closed via the following commit(s):

commit 93eca38ef76c1a9c568155659b891db542f22939
Author:     Maciej Barć <>
AuthorDate: 2023-04-18 13:52:42 +0000
Commit:     Maciej Barć <>
CommitDate: 2023-04-18 13:55:10 +0000

    sci-mathematics/lean: fix build with GCC 13
    Signed-off-by: Maciej Barć <>

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