Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 937429 - sci-mathematics/lean-3.51.1 - [icu-75.1] [gcc-15] /.../hash.cpp: error: MurmurHash64A was not declared in this scope
Summary: sci-mathematics/lean-3.51.1 - [icu-75.1] [gcc-15] /.../hash.cpp: error: Murmu...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: gcc-15
  Show dependency tree
 
Reported: 2024-08-06 07:09 UTC by Toralf Förster
Modified: 2024-08-06 08:42 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,19.41 KB, text/plain)
2024-08-06 07:09 UTC, Toralf Förster
Details
emerge-history.txt.xz (emerge-history.txt.xz,78.55 KB, application/x-xz)
2024-08-06 07:09 UTC, Toralf Förster
Details
environment (environment,101.88 KB, text/plain)
2024-08-06 07:09 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1.36 KB, application/x-xz)
2024-08-06 07:09 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,52.80 KB, application/x-xz)
2024-08-06 07:09 UTC, Toralf Förster
Details
qlist-info.txt.xz (qlist-info.txt.xz,83.77 KB, application/x-xz)
2024-08-06 07:09 UTC, Toralf Förster
Details
sci-mathematics:lean-3.51.1:20240806-042356.log (sci-mathematics:lean-3.51.1:20240806-042356.log,13.72 KB, text/plain)
2024-08-06 07:09 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2024-08-06 07:09:06 UTC
      |        ^~~~~~~~
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:8:1: note: 'uint64_t' is defined in header '<cstdint>'; this is probably fixable by adding '#include <cstdint>'
    7 | #include "util/hash.h"
  +++ |+#include <cstdint>
    8 | #include <string>
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp: In function 'lean::uint64 lean::hash64_str(unsigned int, const char*)':
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:116:12: error: 'MurmurHash64A' was not declared in this scope
  116 |     return MurmurHash64A(str, len, 0);
      |            ^~~~~~~~~~~~~

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_hardened_systemd-20240801-090532

  UNMASKED:
    Please re-assign to toolchain@ if you get a test failure in C, C++, or Fortran code which makes no sense.
  <sys-devel/gcc-15.0.9999:15
    Requested by sam
  ~dev-libs/icu-75.1
  ~dev-libs/icu-layoutex-75.1

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang/llvm (if any):
clang version 18.1.8
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/18/bin
Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg
/usr/lib/llvm/18
18.1.8
Python 3.12.4
Available Ruby profiles:
  [1]   ruby31 (with Rubygems)
  [2]   ruby32 (with Rubygems)
  [3]   ruby33 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.79.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.24_p8 [openjdk-bin-11]
2)	Eclipse Temurin JDK 17.0.12_p7 [openjdk-bin-17]
*)	Eclipse Temurin JDK 21.0.4_p7 [openjdk-bin-21]
4)	Eclipse Temurin JDK 8.422_p05 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17 
  [4]   openjdk-bin-21  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.2.8
php cli (if any):
go version go1.22.5 linux/amd64

  HEAD of ::gentoo
commit 4c0047580e320df2a87dfa76cd7df22197ef776f
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Aug 6 02:04:03 2024 +0000

    2024-08-06 02:04:02 UTC

emerge -qpvO sci-mathematics/lean
Comment 1 Toralf Förster gentoo-dev 2024-08-06 07:09:07 UTC
Created attachment 899242 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-08-06 07:09:09 UTC
Created attachment 899243 [details]
emerge-history.txt.xz
Comment 3 Toralf Förster gentoo-dev 2024-08-06 07:09:10 UTC
Created attachment 899244 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2024-08-06 07:09:11 UTC
Created attachment 899245 [details]
etc.clang.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-08-06 07:09:12 UTC
Created attachment 899246 [details]
etc.portage.tar.xz
Comment 6 Toralf Förster gentoo-dev 2024-08-06 07:09:13 UTC
Created attachment 899247 [details]
qlist-info.txt.xz
Comment 7 Toralf Förster gentoo-dev 2024-08-06 07:09:14 UTC
Created attachment 899248 [details]
sci-mathematics:lean-3.51.1:20240806-042356.log