too long lines were shrinked: Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ... ocamlopt src/bin/text/Main_text.exe (exit 2) (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -o src/bin/text/Main_text.exe /usr/lib64/ocaml/seq/seq.cmxa /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/nums.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/z /usr/lib/gcc/x86_64-pc-linux-gnu/12.0.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/alt-ergo-2.4.1_p20220407/temp/build8a0210.dune/camlstartup04be27.o: in function `caml_program': :(.text+0xff5): undefined reference to `camlCmdliner__entry' /usr/lib/gcc/x86_64-pc-linux-gnu/12.0.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/alt-ergo-2.4.1_p20220407/temp/build8a0210.dune/camlstartup04be27.o: in function `caml_globals': :(.data+0xa50): undefined reference to `camlCmdliner__gc_roots' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20220428-110924 ------------------------------------------------------------------- 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.0.1 * 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: 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 7a663b7f5b8915565d685e11c752aa24baa5a551 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue May 3 13:18:47 2022 +0000 2022-05-03 13:18:47 UTC emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.4.1_p20220407 USE="ocamlopt -examples"
Created attachment 776510 [details] emerge-info.txt
Created attachment 776513 [details] emerge-history.txt.bz2
Created attachment 776516 [details] environment
Created attachment 776519 [details] etc.portage.tar.bz2
Created attachment 776522 [details] sci-mathematics:alt-ergo-2.4.1_p20220407:20220503-141649.log
Created attachment 776525 [details] temp.tar.bz2
I think it is fixed with the commit: dev-ml/cmdliner: serialize compilation
