too long lines were shrinked: Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque 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/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/build5f0dea.dune/camlstartup178237.o: in function `caml_program': :(.text+0x915): undefined reference to `camlCmdliner__entry' /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/build5f0dea.dune/camlstartup178237.o: in function `caml_globals': :(.data+0x6e0): undefined reference to `camlCmdliner__gc_roots' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20220414-090040 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-11.2.1 * clang/llvm (if any): clang version 14.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.1 Python 3.9.12 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.60.0 [2] rust-1.60.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] *) Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-11 The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: HEAD of ::gentoo commit 1e4b758f06bef4a0c40c4b5e86fc9e46b3b3ed80 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Apr 18 00:24:09 2022 +0000 2022-04-18 00:24:06 UTC emerge -qpvO sci-mathematics/coq-serapi [ebuild R ] sci-mathematics/coq-serapi-0.15.0-r1 USE="ocamlopt -emacs -test"
Created attachment 771500 [details] emerge-info.txt
Created attachment 771503 [details] emerge-history.txt.bz2
Created attachment 771506 [details] environment
Created attachment 771509 [details] etc.portage.tar.bz2
Created attachment 771512 [details] sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log
Created attachment 771515 [details] temp.tar.bz2
*** Bug 846914 has been marked as a duplicate of this bug. ***
