Bug 919248 – sci-mathematics/alt-ergo-2.4.3 - Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-

• Status: RESOLVED OBSOLETE
• Product: Gentoo Linux

[Description Toralf Förster 2023-12-05 08:08:10 UTC]

    ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common__Parse_command.{cmx,o}
    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_parser.{cmx,o}
    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_lexer.{cmx,o}
    ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.{a,cmxa}
    ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.cmxs
 * ERROR: sci-mathematics/alt-ergo-2.4.3::gentoo failed (compile phase):
 *   Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo
 * 
 * Call stack:

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-20231127-140030

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

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.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.6
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-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):
  [1]   php8.1
  [2]   php8.2 *
go version go1.21.4 linux/amd64

  HEAD of ::gentoo
commit 5b02a855dbc36be0c5b64fda493fa0853b0ca988
Author: Repository mirror & CI <[e-mail]>
Date:   Mon Dec 4 23:17:02 2023 +0000

    2023-12-04 23:17:02 UTC

emerge -qpvO sci-mathematics/alt-ergo
[ebuild  N    ] sci-mathematics/alt-ergo-2.4.3  USE="ocamlopt -examples -gui"

[Comment 1 Toralf Förster 2023-12-05 08:08:11 UTC]

Created attachment 877251 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-12-05 08:08:12 UTC]

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

[Comment 3 Toralf Förster 2023-12-05 08:08:14 UTC]

Created attachment 877253 [details]
environment

[Comment 4 Toralf Förster 2023-12-05 08:08:14 UTC]

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

[Comment 5 Toralf Förster 2023-12-05 08:08:15 UTC]

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

[Comment 6 Toralf Förster 2023-12-05 08:08:17 UTC]

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

[Comment 7 Toralf Förster 2023-12-05 08:08:18 UTC]

Created attachment 877257 [details]
sci-mathematics:alt-ergo-2.4.3:20231205-004121.log

[Comment 8 Toralf Förster 2023-12-05 08:08:19 UTC]

Created attachment 877258 [details]
temp.tar.xz

[Comment 9 Tupone Alfredo 2024-10-12 21:47:51 UTC]

got signal SEGV

do you mind to retest