| Summary: | sci-mathematics/alt-ergo-2.4.1_p20220407 - :(.text+<snip>): undefined reference to camlCmdliner_entry | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | sci-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt.bz2 environment etc.portage.tar.bz2 sci-mathematics:alt-ergo-2.4.1_p20220407:20220503-141649.log temp.tar.bz2 |
||
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 |
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"