Bug 941624 – sci-mathematics/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2024-10-16 10:55:09 UTC]

    ocamlopt src/ecLib.{a,cmxa}         
    ocamlopt src/.ec.eobjs/native/ec.{cmx,o}
    ocamlopt src/ec.exe (exit 2)       
File "_none_", line 1:
Error: Files /usr/lib64/ocaml/batteries/unthreaded/batteries_unthreaded.cmxa
       and /usr/lib64/ocaml/nums.cmxa
       make inconsistent assumptions over interface Nat
    ocamlopt src/ecLib.cmxs                      
 * ERROR: sci-mathematics/easycrypt-2024.09::gentoo failed (compile phase):

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

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

  UNMASKED:
  <sys-devel/gcc-15.0.9999:15

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang version 19.1.1
llvm-config: 19.1.1
Python 3.12.7
go version go1.23.1 linux/amd64
  (none found)
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

  HEAD of ::gentoo
commit 7fcbc3d89fe222d0a14cf9ab0e611774c4329670
Author: Repository mirror & CI <[e-mail]>
Date:   Wed Oct 16 08:03:39 2024 +0000

    2024-10-16 08:03:39 UTC

emerge -qpvO =sci-mathematics/easycrypt-2024.09
[ebuild  N    ] sci-mathematics/easycrypt-2024.09  USE="ocamlopt"

[Comment 1 Toralf Förster 2024-10-16 10:55:10 UTC]

Created attachment 906074 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-10-16 10:55:11 UTC]

Created attachment 906075 [details]
emerge-history.txt.xz

[Comment 3 Toralf Förster 2024-10-16 10:55:12 UTC]

Created attachment 906076 [details]
environment

[Comment 4 Toralf Förster 2024-10-16 10:55:13 UTC]

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

[Comment 5 Toralf Förster 2024-10-16 10:55:14 UTC]

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

[Comment 6 Toralf Förster 2024-10-16 10:55:15 UTC]

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

[Comment 7 Toralf Förster 2024-10-16 10:55:16 UTC]

Created attachment 906080 [details]
sci-mathematics:easycrypt-2024.09:20241016-093540.log

[Comment 8 Toralf Förster 2024-10-16 10:55:17 UTC]

Created attachment 906081 [details]
temp.tar.xz