Bug 944174 – sci-mathematics/coq-8.20.0 - [ncurses-6.5] [meson] [libtool] Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=c

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2024-11-20 16:10:40 UTC]

      ocamlc dev/debugger_support.cma                 
        coqc theories/Init/Notations.{glob,timing,vo,vos}
      ocamlc ide/coqide/idetop.exe                    
      ocamlc topbin/coqtop_byte_bin.bc                
      ocamlc topbin/coqworker_bin.exe                 
 * ERROR: sci-mathematics/coq-8.20.0::gentoo failed (compile phase):
 *   Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=coq-core,coq-stdlib,coqide-server,coq,coqide
 * 
 * Call stack:

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_desktop_systemd-20241117-085002

  UNMASKED:
    Please re-assign to ztrawhcse@ if you cannot reproduced it with regular meson.
  <dev-build/meson-9999
    Issues involving opaque types / incomplete typedefs should block bug 930805
  >=sys-libs/ncurses-6.5

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-14 *
clang version 19.1.4
llvm-config: 19.1.4
Python 3.12.7
go version go1.23.3 linux/amd64
  [1]   php8.3 *
Available Ruby profiles:
  [1]   ruby32 (with Rubygems)
  [2]   ruby33 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.82.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 21.0.5_p11 [openjdk-bin-21]
2)	Eclipse Temurin JDK 8.432_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-21  system-vm


  HEAD of ::gentoo
commit 8f714fa25a38e226b88cbe2fb6edd0fb5f171f98
Author: Repository mirror & CI <[e-mail]>
Date:   Wed Nov 20 05:18:44 2024 +0000

    2024-11-20 05:18:43 UTC

emerge -qpvO =sci-mathematics/coq-8.20.0
[ebuild  N    ] sci-mathematics/coq-8.20.0  USE="gui -debug (-doc) -ocamlopt -test"

[Comment 1 Toralf Förster 2024-11-20 16:10:41 UTC]

Created attachment 910663 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-11-20 16:10:42 UTC]

Created attachment 910664 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2024-11-20 16:10:43 UTC]

Created attachment 910665 [details]
environment

[Comment 4 Toralf Förster 2024-11-20 16:10:43 UTC]

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

[Comment 5 Toralf Förster 2024-11-20 16:10:44 UTC]

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

[Comment 6 Toralf Förster 2024-11-20 16:10:45 UTC]

Created attachment 910668 [details]
logs.tar.xz

[Comment 7 Toralf Förster 2024-11-20 16:10:46 UTC]

Created attachment 910669 [details]
qlist-info.txt

[Comment 8 Toralf Förster 2024-11-20 16:10:48 UTC]

Created attachment 910670 [details]
sci-mathematics:coq-8.20.0:20241120-061405.log

[Comment 9 Toralf Förster 2024-11-20 16:10:49 UTC]

Created attachment 910671 [details]
temp.tar.xz