Bug 913550 – sci-mathematics/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-09-03 09:37:23 UTC]

      ocamlc plugins/funind/funind_plugin.cma         
      ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.{cmo,cmt}
      ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.{cmo,cmt}
      ocamlc plugins/ssr/ssreflect_plugin.cma         
      ocamlc plugins/micromega/csdpcert.exe           
 * ERROR: sci-mathematics/coq-8.17.1::gentoo failed (compile phase):
 *   Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-packages=coq-core,coq-stdlib,coqide-server,coq
 * 
 * Call stack:

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

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

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
/usr/lib/llvm/16
16.0.6
Python 3.11.5
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.72.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17]
*)	Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17]
Available Java Virtual Machines:
  [1]   openjdk-bin-17 
  [2]   openjdk-jre-bin-17  system-vm

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

  HEAD of ::gentoo
commit d51220f3213fb9c4f159be77e6d8d48be3192463
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Sep 2 21:16:55 2023 +0000

    2023-09-02 21:16:54 UTC

emerge -qpvO sci-mathematics/coq
[ebuild  N    ] sci-mathematics/coq-8.17.1  USE="-debug (-doc) -gui -ocamlopt -test"

[Comment 1 Toralf Förster 2023-09-03 09:37:24 UTC]

Created attachment 869310 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-09-03 09:37:25 UTC]

Created attachment 869311 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2023-09-03 09:37:26 UTC]

Created attachment 869312 [details]
environment

[Comment 4 Toralf Förster 2023-09-03 09:37:27 UTC]

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

[Comment 5 Toralf Förster 2023-09-03 09:37:28 UTC]

Created attachment 869314 [details]
sci-mathematics:coq-8.17.1:20230902-230608.log

[Comment 6 Toralf Förster 2023-09-03 09:37:29 UTC]

Created attachment 869315 [details]
temp.tar.xz

[Comment 7 setun.90 2024-09-10 08:42:24 UTC]

Created attachment 902547 [details]
coq 8.20.0 build log

I confirm I got this with 8.20.0 as well.

[Comment 8 setun.90 2024-09-10 08:43:47 UTC]

# emerge -pqv coq
[ebuild     U ] sci-mathematics/coq-8.20.0 [8.19.2] USE="ocamlopt -debug (-doc) -gui -test"

[Comment 9 setun.90 2024-09-10 08:53:07 UTC]

Created attachment 902548 [details]
coq 8.20.0 build log without ocamlopt

Just for completeness, rebuilding with USE="-ocamlopt" gave the same result.

[Comment 10 Maciej Barć 2024-09-10 09:06:56 UTC]

I did not manage to reproduce it on my dev box (MAKEOPTS="-j5" USE="-gui"). 

But the error messages look like it might be a race condition in building.
Does using MAKEOPTS="-j1" change anything?

[Comment 11 setun.90 2024-09-10 09:42:25 UTC]

Created attachment 902549 [details]
coq 8.20.0 build log with -j1 without ocamlopt

Still fails with MAKEOPTS="-j1".