Bug 909732 – sci-mathematics/kind2-1.9.0 - ERROR: sci-mathematics/kind2-1.9.0::gentoo failed (compile phase):

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-07-05 10:26:15 UTC]

    ocamlopt src/.kind2dev.objs/native/lustreToRust.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreContext.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustrePath.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreTransSys.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreSimplify.{cmx,o}
    ocamlopt src/.kind2dev.objs/native/lustreDeclarations.{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 5
 * 

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_plasma_systemd-20230703-091504

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/16/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/16
16.0.6
Python 3.11.4
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.69.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.19_p7 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

php cli (if any):
go version go1.20.5 linux/amd64

  HEAD of ::gentoo
commit d70c94182c50c96c96cd25d50a0531adeeb46c76
Author: Repository mirror & CI <[e-mail]>
Date:   Tue Jul 4 22:46:59 2023 +0000

    2023-07-04 22:46:58 UTC

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

[Comment 1 Toralf Förster 2023-07-05 10:26:16 UTC]

Created attachment 865155 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-07-05 10:26:17 UTC]

Created attachment 865156 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2023-07-05 10:26:18 UTC]

Created attachment 865157 [details]
environment

[Comment 4 Toralf Förster 2023-07-05 10:26:19 UTC]

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

[Comment 5 Toralf Förster 2023-07-05 10:26:20 UTC]

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

[Comment 6 Toralf Förster 2023-07-05 10:26:21 UTC]

Created attachment 865160 [details]
sci-mathematics:kind2-1.9.0:20230705-001314.log

[Comment 7 Toralf Förster 2023-07-05 10:26:22 UTC]

Created attachment 865161 [details]
temp.tar.xz

[Comment 8 Maciej Barć 2023-07-05 10:32:55 UTC]

> free(): double free detected in tcache 2
> (got signal ABRT)