too long lines were shrinked: Use Cmd.v and one of Cmd.eval* instead. ocamlopt sertop/sercomp.exe (exit 2) (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -o sertop/sercomp.exe -linkall /usr/lib64/ocaml/findlib/findlib.cmxa /usr/lib64/ocaml/dynlink.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/findlib/findlib_dynload.cmxa sertop/.sertop_bin.eobjs/native/findlib_initl.cmx /usr/lib64/ocaml/cmdl /usr/lib/gcc/x86_64-pc-linux-gnu/12.1.0/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r2/temp/buildd42b2b.dune/camlstartup4f461f.o: in function `caml_program': :(.text+0x875): undefined reference to `camlCmdliner_msg__entry' /usr/lib/gcc/x86_64-pc-linux-gnu/12.1.0/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r2/temp/buildd42b2b.dune/camlstartup4f461f.o: in function `caml_globals': :(.data+0x690): undefined reference to `camlCmdliner_msg__gc_roots' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib-j4-20220517-030005 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-10.3.1 [3] x86_64-pc-linux-gnu-12.1.0 * clang/llvm (if any): Python 3.9.13 Available Ruby profiles: (none found) Available Rust versions: [1] rust-1.60.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 11.0.15_p10 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.3_p7 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.332_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 system-vm [3] openjdk-bin-17 The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php8.1 * HEAD of ::gentoo commit 2e7574ef32678938a6b084d02409aed006fe36b8 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat May 21 20:48:03 2022 +0000 2022-05-21 20:48:02 UTC emerge -qpvO sci-mathematics/coq-serapi [ebuild N ] sci-mathematics/coq-serapi-0.15.0-r2 USE="ocamlopt -emacs -test"
Created attachment 779774 [details] emerge-info.txt
*** This bug has been marked as a duplicate of bug 839102 ***
