Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 942566

Summary: sci-mathematics/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo Team for the ML programming language family <ml>
Status: CONFIRMED ---    
Severity: normal CC: sci-mathematics
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: emerge-info.txt
emerge-history.txt
environment
etc.clang.tar.xz
etc.portage.tar.xz
qlist-info.txt
sci-mathematics:easycrypt-2024.09:20241030-193335.log
temp.tar.xz

Description Toralf Förster gentoo-dev 2024-10-30 20:13:00 UTC
    ocamldep src/.ecLib.objs/ecLib__EcParser.impl.d
      ocamlc src/.ecLib.objs/byte/ecLib__EcScope.{cmo,cmt}
      ocamlc src/.ecLib.objs/byte/ecLib__EcPrinting.{cmo,cmt}
      ocamlc src/.ecLib.objs/byte/ecLib__EcParser.{cmo,cmt}
      ocamlc src/ecLib.cma                         
 * ERROR: sci-mathematics/easycrypt-2024.09::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: 23.0_no_multilib-20241029-095010

  UNMASKED:
  <sys-devel/gcc-15.0.9999:15

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang version 19.1.2
llvm-config: 19.1.2
Python 3.12.7
go version go1.23.2 linux/amd64
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:
1)	Eclipse Temurin JDK 17.0.13_p11 [openjdk-bin-17]
*)	Eclipse Temurin JDK 21.0.5_p11 [openjdk-bin-21]
3)	Eclipse Temurin JDK 8.432_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-17 
  [3]   openjdk-bin-21  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.2.8

  HEAD of ::gentoo
commit 3f384a2ce60fc2fca8c0beadb2ad3962ed65467d
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed Oct 30 18:03:19 2024 +0000

    2024-10-30 18:03:18 UTC

emerge -qpvO =sci-mathematics/easycrypt-2024.09
[ebuild  N    ] sci-mathematics/easycrypt-2024.09  USE="ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2024-10-30 20:13:01 UTC
Created attachment 907399 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-10-30 20:13:03 UTC
Created attachment 907400 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2024-10-30 20:13:04 UTC
Created attachment 907401 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2024-10-30 20:13:05 UTC
Created attachment 907402 [details]
etc.clang.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-10-30 20:13:06 UTC
Created attachment 907403 [details]
etc.portage.tar.xz
Comment 6 Toralf Förster gentoo-dev 2024-10-30 20:13:07 UTC
Created attachment 907404 [details]
qlist-info.txt
Comment 7 Toralf Förster gentoo-dev 2024-10-30 20:13:08 UTC
Created attachment 907405 [details]
sci-mathematics:easycrypt-2024.09:20241030-193335.log
Comment 8 Toralf Förster gentoo-dev 2024-10-30 20:13:09 UTC
Created attachment 907406 [details]
temp.tar.xz