checking for coqc >= 8.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... ocamlfind: Not supported in your configuration: ocamlopt no configure: error: *** Failed to compile a native OCaml library !!! Please attach the following file when seeking support: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20230211-090115 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 15.0.7 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.7 Python 3.10.10 Available Rust versions: [1] rust-bin-1.67.1 [2] rust-1.67.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): HEAD of ::gentoo commit 874396b2853862adb883bcd5951dcd3002901ec4 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Feb 16 06:46:51 2023 +0000 2023-02-16 06:46:51 UTC emerge -qpvO sci-mathematics/gappalib-coq [ebuild N ] sci-mathematics/gappalib-coq-1.5.2
Created attachment 851754 [details] emerge-info.txt
Created attachment 851756 [details] emerge-history.txt.bz2
Created attachment 851758 [details] environment
Created attachment 851760 [details] etc.clang.tar.bz2
Created attachment 851762 [details] etc.portage.tar.bz2
Created attachment 851764 [details] logs.tar.bz2
Created attachment 851766 [details] sci-mathematics:gappalib-coq-1.5.2:20230216-075905.log
Created attachment 851768 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a067191668da35890eb2cd748e83849fbaf0c905 commit a067191668da35890eb2cd748e83849fbaf0c905 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-02-16 11:35:07 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-02-16 11:49:38 +0000 sci-mathematics/gappalib-coq: fix deps; add ocamlopt Closes: https://bugs.gentoo.org/894746 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../{gappalib-coq-1.5.2.ebuild => gappalib-coq-1.5.2-r1.ebuild} | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-)