Ocamlc src/util/bigInt.ml Ocamlc src/util/mlmpfr_wrapper.ml Ocamlc src/util/util.ml Ocamlc src/util/opt.ml File "src/util/bigInt.ml", line 1: Error: The files src/util/mysexplib.cmi and /usr/lib64/ocaml/big_int.cmi make inconsistent assumptions over interface Nat make: *** [Makefile:2052: src/util/bigInt.cmo] Error 2 make: *** Waiting for unfinished jobs.... ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_no_multilib_systemd-20240806-101508 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 Requested by sam >=sys-libs/ncurses-6.5 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.5 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.6 linux/amd64 HEAD of ::gentoo commit 04a7d0ac2a0724663899f7dc97cd652da5d267e0 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Aug 10 09:19:19 2024 +0000 2024-08-10 09:19:19 UTC emerge -qpvO =sci-mathematics/why3-1.6.0 [ebuild N ] sci-mathematics/why3-1.6.0 USE="coq ocamlopt sexp stackify zarith zip -doc -emacs -gtk -re"
Created attachment 899771 [details] emerge-info.txt
Created attachment 899772 [details] emerge-history.txt.xz
Created attachment 899773 [details] environment
Created attachment 899774 [details] etc.clang.tar.xz
Created attachment 899775 [details] etc.portage.tar.xz
Created attachment 899776 [details] logs.tar.xz
Created attachment 899777 [details] qlist-info.txt.xz
Created attachment 899778 [details] sci-mathematics:why3-1.6.0:20240810-112458.log
Created attachment 899779 [details] temp.tar.xz
