mkdir lib/plugins Ocamlc src/util/mysexplib.ml Ocamlc src/util/config.mli Ocamlc src/util/bigInt.mli Ocamlc src/util/mlmpfr_wrapper.mli File "_none_", line 1: Error: Cannot load ppx_sexp_conv: this object file uses unsafe features File "_none_", line 1: Error: Cannot load ppx_sexp_conv: this object file uses unsafe features ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_desktop_systemd-j4-20230511-114504 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): clang version 16.0.3 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/16/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/16 16.0.3 Python 3.11.3 Available Rust versions: [1] rust-1.69.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17] 2) Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 system-vm php cli (if any): go version go1.20.3 linux/amd64 HEAD of ::gentoo commit 017f568d0e517a425bf5405d28c4eb71603f0939 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri May 12 19:31:58 2023 +0000 2023-05-12 19:31:58 UTC emerge -qpvO sci-mathematics/why3 [ebuild N ] sci-mathematics/why3-1.6.0 USE="re sexp zarith zip -coq -doc -emacs -gtk -ocamlopt -stackify"
Created attachment 861589 [details] emerge-info.txt
Created attachment 861590 [details] emerge-history.txt
Created attachment 861591 [details] environment
Created attachment 861592 [details] etc.clang.tar.bz2
Created attachment 861593 [details] etc.portage.tar.bz2
Created attachment 861594 [details] logs.tar.bz2
Created attachment 861595 [details] sci-mathematics:why3-1.6.0:20230512-205316.log
Created attachment 861596 [details] temp.tar.bz2
