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

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

Summary: sci-mathematics/kind2-1.9.0 - Failed to run command: dune build @install --di...

Status:	RESOLVED OBSOLETE

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2023-12-07 08:37 UTC by Toralf Förster
Modified:	2024-10-13 14:36 UTC (History)
CC List:	3 users (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
emerge-info.txt (emerge-info.txt,19.88 KB, text/plain) 2023-12-07 08:37 UTC, Toralf Förster	Details
emerge-history.txt.xz (emerge-history.txt.xz,94.93 KB, application/x-xz) 2023-12-07 08:37 UTC, Toralf Förster	Details
environment (environment,29.08 KB, text/plain) 2023-12-07 08:37 UTC, Toralf Förster	Details
etc.clang.tar.xz (etc.clang.tar.xz,1.14 KB, application/x-xz) 2023-12-07 08:37 UTC, Toralf Förster	Details
etc.portage.tar.xz (etc.portage.tar.xz,34.70 KB, application/x-xz) 2023-12-07 08:37 UTC, Toralf Förster	Details
qlist-info.txt.xz (qlist-info.txt.xz,95.86 KB, application/x-xz) 2023-12-07 08:37 UTC, Toralf Förster	Details
sci-mathematics:kind2-1.9.0:20231206-223048.log (sci-mathematics:kind2-1.9.0:20231206-223048.log,31.79 KB, text/plain) 2023-12-07 08:37 UTC, Toralf Förster	Details
temp.tar.xz (temp.tar.xz,11.92 KB, application/x-xz) 2023-12-07 08:37 UTC, Toralf Förster	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Toralf Förster gentoo-dev

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 <repomirrorci@gentoo.org>
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 gentoo-dev

2023-12-07 08:37:19 UTC

Created attachment 878078 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-12-07 08:37:20 UTC

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

Comment 3 Toralf Förster gentoo-dev

2023-12-07 08:37:22 UTC

Created attachment 878080 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-12-07 08:37:22 UTC

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

Comment 5 Toralf Förster gentoo-dev

2023-12-07 08:37:23 UTC

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

Comment 6 Toralf Förster gentoo-dev

2023-12-07 08:37:25 UTC

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

Comment 7 Toralf Förster gentoo-dev

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 gentoo-dev

2023-12-07 08:37:27 UTC

Created attachment 878085 [details]
temp.tar.xz

Comment 9 Tupone Alfredo gentoo-dev

2024-10-12 21:47:04 UTC

got signal SEGV

do you mind to retest