Bug 919398 – sci-mathematics/kind2-1.9.0 - Failed to run command: dune build @install --display=short --profile release -j 4

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-12-07 08:37:18 UTC]

    ocamlopt src/.kind2dev.objs/native/lustreSimplify.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreTransSys.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreDeclarations.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreInput.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/contractsToProps.{cmx,o}
 * ERROR: sci-mathematics/kind2-1.9.0::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: 17.1_desktop_gnome_systemd-20231127-142450

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 17.0.6
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.6
Python 3.11.7
Available Rust versions:
  [1]   rust-bin-1.73.0
  [2]   rust-1.73.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.20.1_p1 [openjdk-bin-11]
2)	Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17]
*)	Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21]
4)	Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17 
  [4]   openjdk-bin-21  system-vm

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 701f80836a1a28f8909b7e3c157b2c2174e88567
Author: Repository mirror & CI <[e-mail]>
Date:   Wed Dec 6 21:46:55 2023 +0000

    Merge updates from master

emerge -qpvO sci-mathematics/kind2
[ebuild  N    ] sci-mathematics/kind2-1.9.0  USE="ocamlopt -test"

[Comment 1 Toralf Förster 2023-12-07 08:37:19 UTC]

Created attachment 878078 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-12-07 08:37:20 UTC]

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

[Comment 3 Toralf Förster 2023-12-07 08:37:22 UTC]

Created attachment 878080 [details]
environment

[Comment 4 Toralf Förster 2023-12-07 08:37:22 UTC]

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

[Comment 5 Toralf Förster 2023-12-07 08:37:23 UTC]

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

[Comment 6 Toralf Förster 2023-12-07 08:37:25 UTC]

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

[Comment 7 Toralf Förster 2023-12-07 08:37:26 UTC]

Created attachment 878084 [details]
sci-mathematics:kind2-1.9.0:20231206-223048.log

[Comment 8 Toralf Förster 2023-12-07 08:37:27 UTC]

Created attachment 878085 [details]
temp.tar.xz