Bug 941414 – sci-mathematics/flocq-4.1.1 - [libtool] [gcc-15] Error: The variable plus_0_r was not found in the current environment.

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2024-10-12 17:22:51 UTC]

File "./src/Core/Zaux.v", line 858, characters 14-18:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Building src/Pff/Pff.vo
File "./src/Core/Zaux.v", line 991, characters 0-20:
Error: The variable plus_0_r was not found in the current environment.

Building src/Pff/Pff2FlocqAux.vo

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_no_multilib-20241008-203006

  UNMASKED:
  /etc/portage/package.unmask/60gcc:<sys-devel/gcc-15.0.9999:15
    Requested by sam

  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 19.1.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/19/bin
Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg
/usr/lib/llvm/19
19.1.1
Python 3.12.7
Available Ruby profiles:
  [1]   ruby32 (with Rubygems)
  [2]   ruby33 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.81.0
  [2]   rust-1.81.0 *
The following VMs are available for generation-2:
The Glorious Glasgow Haskell Compilation System, version 9.2.8
php cli (if any):
  (none found)
go version go1.23.1 linux/amd64

  HEAD of ::gentoo
commit e10745e0a30a256d6ca97ff396369120c840f730
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Oct 12 16:03:23 2024 +0000

    2024-10-12 16:03:23 UTC

emerge -qpvO =sci-mathematics/flocq-4.1.1
[ebuild  N    ] sci-mathematics/flocq-4.1.1

[Comment 1 Toralf Förster 2024-10-12 17:22:53 UTC]

Created attachment 905352 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-10-12 17:22:59 UTC]

Created attachment 905353 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2024-10-12 17:23:01 UTC]

Created attachment 905354 [details]
environment

[Comment 4 Toralf Förster 2024-10-12 17:23:06 UTC]

Created attachment 905355 [details]
etc.clang.tar.xz

[Comment 5 Toralf Förster 2024-10-12 17:23:07 UTC]

Created attachment 905356 [details]
etc.portage.tar.xz

[Comment 6 Toralf Förster 2024-10-12 17:23:09 UTC]

Created attachment 905357 [details]
logs.tar.xz

[Comment 7 Toralf Förster 2024-10-12 17:23:16 UTC]

Created attachment 905358 [details]
qlist-info.txt.xz

[Comment 8 Toralf Förster 2024-10-12 17:23:18 UTC]

Created attachment 905359 [details]
sci-mathematics:flocq-4.1.1:20241012-164312.log

[Comment 9 Toralf Förster 2024-10-12 17:23:23 UTC]

Created attachment 905360 [details]
temp.tar.xz