| Summary: | sci-mathematics/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | CONFIRMED --- | ||
| Severity: | normal | CC: | sci-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt.xz environment etc.clang.tar.xz etc.portage.tar.xz qlist-info.txt.xz sci-mathematics:easycrypt-2024.09:20241016-093540.log temp.tar.xz |
||
Created attachment 906074 [details]
emerge-info.txt
Created attachment 906075 [details]
emerge-history.txt.xz
Created attachment 906076 [details]
environment
Created attachment 906077 [details]
etc.clang.tar.xz
Created attachment 906078 [details]
etc.portage.tar.xz
Created attachment 906079 [details]
qlist-info.txt.xz
Created attachment 906080 [details]
sci-mathematics:easycrypt-2024.09:20241016-093540.log
Created attachment 906081 [details]
temp.tar.xz
|
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 <repomirrorci@gentoo.org> 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"