Done! dune build File "lib/sosa.zarith/sosa.ml", line 1: Error: /usr/lib64/ocaml/zarith/z.cmi is not a compiled interface for this version of OCaml. It seems to be for a newer version of OCaml. make: *** [Makefile:124: exe] Error 1 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib_systemd-j4-20220507-142759 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-12.1.0 * clang/llvm (if any): clang version 14.0.3 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.3 Python 3.9.12 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.60.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] 2) Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php7.4 [2] php8.0 [3] php8.1 * HEAD of ::gentoo commit cad1121d8ba476e3f93fab2edd19650f1fd58659 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sun May 8 09:33:16 2022 +0000 2022-05-08 09:33:16 UTC emerge -qpvO app-misc/geneweb [ebuild N ] app-misc/geneweb-7.0.0-r2 USE="ocamlopt -test"
Created attachment 777509 [details] emerge-info.txt
Created attachment 777512 [details] app-misc:geneweb-7.0.0-r2:20220508-102726.log
Created attachment 777515 [details] emerge-history.txt
Created attachment 777518 [details] environment
Created attachment 777521 [details] etc.portage.tar.bz2
Created attachment 777524 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcf95237127c2b1a5786219ded86b2acd3ba1277 commit bcf95237127c2b1a5786219ded86b2acd3ba1277 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-06-26 13:35:53 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-06-26 13:35:53 +0000 app-misc/geneweb: add dev-ml/zarith dep Closes: https://bugs.gentoo.org/843293 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> app-misc/geneweb/geneweb-7.0.0-r2.ebuild | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
