Bug 946977 – sci-mathematics/lean-4.11.0 - [llvm] deps=lean --deps LeanClosedTermCache.lean || (echo lean --deps LeanClosedTermCache.lean failed ($?): $deps; exit 1); \

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2024-12-26 22:56:02 UTC]

too long lines were shrinked:

make[7]: Entering directory '/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0/src'
deps=`/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0_build/stage0/bin/lean --deps Lean/Compiler/CSimpAttr.lean` || (echo "/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0_build/stage0/bin/lean --deps Lean/Compiler/CSimpAttr.lean failed ($?): $deps"; exit 1); \
  deps=`echo "$deps" | tr '\\\\' / | tr -d '\\r'`; \
  echo ../../lean4-4.11.0_build/stage1/lib/lean/Lean/Compiler/CSimpAttr.olean: $deps > ../../lean4-4.11.0_build/stage1/lib/temp/Lean/Compiler/CSimpAttr.depend
make[7]: Leaving directory '/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0/src'
make[7]: Entering directory '/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0/src'
deps=`/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0_build/stage0/bin/lean --deps Lean/Compiler/ClosedTermCache.lean` || (echo "/var/tmp/portage/sci-mathematics/lean-4.11.0/work/lean4-4.11.0_build/stage0/bin/lean --deps Lean/Compiler/ClosedTermCache.lean failed ($?): $deps"; exit 1);
  deps=`echo "$deps" | tr '\\\\' / | tr -d '\\r'`; \
  echo ../../lean4-4.11.0_build/stage1/lib/lean/Lean/Compiler/ClosedTermCache.olean: $deps > ../../lean4-4.11.0_build/stage1/lib/temp/Lean/Compiler/ClosedTermCache.depend

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_llvm_systemd-20241220-181511

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-14 *
clang version 19.1.6+libcxx
llvm-config: 19.1.6+libcxx
Python 3.12.8
go version go1.23.4 linux/amd64
Available Ruby profiles:
  [1]   ruby32 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.81.0
  [2]   rust-bin-1.83.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 8.432_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm


  HEAD of ::gentoo
commit 665279b17d213bc82ad74fb70c04e2ac7145f432
Author: Repository mirror & CI <[e-mail]>
Date:   Tue Dec 24 09:49:38 2024 +0000

    2024-12-24 09:49:38 UTC

emerge -qpvO =sci-mathematics/lean-4.11.0
[ebuild  N    ] sci-mathematics/lean-4.11.0  USE="-debug -source"

[Comment 1 Toralf Förster 2024-12-26 22:56:03 UTC]

Created attachment 915062 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-12-26 22:56:04 UTC]

Created attachment 915063 [details]
CMakeCache.txt

[Comment 3 Toralf Förster 2024-12-26 22:56:05 UTC]

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

[Comment 4 Toralf Förster 2024-12-26 22:56:07 UTC]

Created attachment 915065 [details]
environment

[Comment 5 Toralf Förster 2024-12-26 22:56:08 UTC]

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

[Comment 6 Toralf Förster 2024-12-26 22:56:09 UTC]

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

[Comment 7 Toralf Förster 2024-12-26 22:56:10 UTC]

Created attachment 915068 [details]
logs.tar.xz

[Comment 8 Toralf Förster 2024-12-26 22:56:11 UTC]

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

[Comment 9 Toralf Förster 2024-12-26 22:56:12 UTC]

Created attachment 915070 [details]
sci-mathematics:lean-4.11.0:20241224-104715.log.xz

[Comment 10 Toralf Förster 2024-12-26 22:56:14 UTC]

Created attachment 915071 [details]
temp.tar.xz

[Comment 11 Maciej Barć 2024-12-28 22:21:33 UTC]

*** Bug 947138 has been marked as a duplicate of this bug. ***