ocamlopt src/.ecLib.objs/native/ecLib__EcTerminal.{cmx,o} 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/why3/why3.cmxa and /usr/lib64/ocaml/nums.cmxa make inconsistent assumptions over interface Nat ocamlopt src/ecLib.cmxs * ERROR: sci-mathematics/easycrypt-2024.01::gentoo failed (compile phase): ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_hardened-20240625-075412 UNMASKED: <sys-devel/gcc-15.0.9999:15 Please re-assign to toolchain@ if you get a test failure in C, C++, or Fortran code which makes no sense. ~dev-libs/icu-75.1 ~dev-libs/icu-layoutex-75.1 Requested by sam ~dev-lang/perl-5.40.0 ~virtual/perl-Archive-Tar-3.20.10_rc ~virtual/perl-CPAN-Meta-Requirements-2.143.0 ~virtual/perl-Compress-Raw-Bzip2-2.212.0 ~virtual/perl-DB_File-1.859.0 ~virtual/perl-Data-Dumper-2.189.0 ~virtual/perl-Devel-PPPort-3.720.0 ~virtual/perl-Exporter-5.780.0 ~virtual/perl-ExtUtils-CBuilder-0.280.240 ~virtual/perl-ExtUtils-Manifest-1.750.0 ~virtual/perl-File-Spec-3.900.0 ~virtual/perl-HTTP-Tiny-0.88.0 ~virtual/perl-IO-1.550.0 ~virtual/perl-IO-Compress-2.212.0 ~virtual/perl-IO-Socket-IP-0.420.0 ~virtual/perl-IO-Zlib-1.150.0 ~virtual/perl-Math-BigInt-2.3.2 ~virtual/perl-Math-BigInt-FastCalc-0.501.800 ~virtual/perl-Math-BigRat-2.3.2 ~virtual/perl-Module-CoreList-5.202.406.90 ~virtual/perl-Module-Metadata-1.0.38 ~virtual/perl-Pod-Simple-3.450.0 ~virtual/perl-Safe-2.460.0 ~virtual/perl-Socket-2.38.0 ~virtual/perl-Test-Harness-3.480.0 ~virtual/perl-Test-Simple-1.302.199 ~virtual/perl-Text-Tabs+Wrap-2024.1.0 ~virtual/perl-Time-HiRes-1.977.700 ~virtual/perl-Time-Local-1.350.0 ~virtual/perl-autodie-2.370.0 ~virtual/perl-bignum-0.670.0 ~virtual/perl-podlators-5.10.200_rc ~virtual/perl-threads-2.400.0 ~virtual/perl-threads-shared-1.690.0 ~virtual/perl-version-0.993.0 Requested by dilfridge and sam The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] 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.23_p9 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.11_p9 [openjdk-bin-17] 3) Eclipse Temurin JDK 21.0.3_p9 [openjdk-bin-21] *) Eclipse Temurin JDK 8.412_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.22.4 linux/amd64 HEAD of ::gentoo commit 0ecc22ddf4cd4d2991795068fac0d582fd512c02 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Jul 2 11:04:07 2024 +0000 2024-07-02 11:04:07 UTC emerge -qpvO sci-mathematics/easycrypt
Created attachment 896786 [details] emerge-info.txt
Created attachment 896787 [details] emerge-history.txt.xz
Created attachment 896788 [details] environment
Created attachment 896789 [details] etc.clang.tar.xz
Created attachment 896790 [details] etc.portage.tar.xz
Created attachment 896791 [details] qlist-info.txt.xz
Created attachment 896792 [details] sci-mathematics:easycrypt-2024.01:20240702-123441.log
Created attachment 896793 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c51e0da237da1b3bca1d52b814009f298af4e071 commit c51e0da237da1b3bca1d52b814009f298af4e071 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-07-02 13:49:15 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-07-02 14:50:22 +0000 sci-mathematics/easycrypt: restrict num to version <1.5 Closes: https://bugs.gentoo.org/935344 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../easycrypt/{easycrypt-2024.01.ebuild => easycrypt-2024.01-r1.ebuild} | 1 + 1 file changed, 1 insertion(+)
