Bug 917066 – sci-mathematics/coq-serapi-0.18.1 - Failed to run command: dune build @install --display=short --profile release -j 4

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-11-09 08:06:55 UTC]

    ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrast.{cmx,o}
    ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrequality.{cmx,o}
    ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrparser.{cmx,o}
    ocamlopt serlib/plugins/ssr/serlib_ssr.{a,cmxa}
    ocamlopt serlib/plugins/ssr/serlib_ssr.cmxs   
 * ERROR: sci-mathematics/coq-serapi-0.18.1::gentoo failed (compile phase):
 *   Failed to run command: dune build @install --display=short --profile release -j 4
 * 
 * Call stack:

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_systemd-20231105-204015

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-14 *
clang/llvm (if any):
clang version 17.0.4
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/17/bin
Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg
/usr/lib/llvm/17
17.0.4
Python 3.11.6
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.73.0
  [2]   rust-1.73.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8]
2)	Eclipse Temurin JRE 17.0.8.1_p1 [openjdk-jre-bin-17]
3)	Eclipse Temurin JRE 21.0.1_p12 [openjdk-jre-bin-21]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-jre-bin-17 
  [3]   openjdk-jre-bin-21 

The Glorious Glasgow Haskell Compilation System, version 9.2.8
php cli (if any):
go version go1.21.4 linux/amd64

  HEAD of ::gentoo
commit 3f6bbf47fa93301edebce289e1e869d858e2a09e
Author: Repository mirror & CI <[e-mail]>
Date:   Thu Nov 9 04:31:52 2023 +0000

    2023-11-09 04:31:52 UTC

emerge -qpvO sci-mathematics/coq-serapi
[ebuild   R   ] sci-mathematics/coq-serapi-0.18.1  USE="ocamlopt -emacs -test"

[Comment 1 Toralf Förster 2023-11-09 08:06:56 UTC]

Created attachment 874338 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-11-09 08:06:57 UTC]

Created attachment 874339 [details]
emerge-history.txt.xz

[Comment 3 Toralf Förster 2023-11-09 08:06:58 UTC]

Created attachment 874340 [details]
environment

[Comment 4 Toralf Förster 2023-11-09 08:06:59 UTC]

Created attachment 874341 [details]
etc.clang.tar.xz

[Comment 5 Toralf Förster 2023-11-09 08:07:00 UTC]

Created attachment 874342 [details]
etc.portage.tar.xz

[Comment 6 Toralf Förster 2023-11-09 08:07:02 UTC]

Created attachment 874343 [details]
qlist-info.txt.xz

[Comment 7 Toralf Förster 2023-11-09 08:07:03 UTC]

Created attachment 874344 [details]
sci-mathematics:coq-serapi-0.18.1:20231109-060611.log

[Comment 8 Toralf Förster 2023-11-09 08:07:04 UTC]

Created attachment 874345 [details]
temp.tar.xz