Bug 914302 – dev-lang/boogie-3.0.4 - ERROR: dev-lang/boogie-3.0.4::gentoo failed (configure phase):

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Toralf Förster 2023-09-16 17:49:01 UTC]

too long lines were shrinked:

  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj (in 703 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj (in 702 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj (in 703 ms).
  Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj (in 702 ms).
 * ERROR: dev-lang/boogie-3.0.4::gentoo failed (configure phase):
 *   Failed to run command: dotnet-bin-7.0 restore --runtime linux-x64 --source /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets -maxCpuCount:5 Source/BoogieDriver/BoogieDriver.csproj
 * 

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

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

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
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:
*)	Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17]
2)	Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-17  system-vm

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

  HEAD of ::gentoo
commit 249462f7dfec665d29bb75dc60063a69b22eb8b7
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Sep 16 17:16:40 2023 +0000

    2023-09-16 17:16:40 UTC

emerge -qpvO dev-lang/boogie
[ebuild  N    ] dev-lang/boogie-3.0.4  USE="-debug -test"

[Comment 1 Toralf Förster 2023-09-16 17:49:01 UTC]

Created attachment 870757 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-09-16 17:49:02 UTC]

Created attachment 870758 [details]
dev-lang:boogie-3.0.4:20230916-173833.log

[Comment 3 Toralf Förster 2023-09-16 17:49:03 UTC]

Created attachment 870759 [details]
emerge-history.txt

[Comment 4 Toralf Förster 2023-09-16 17:49:05 UTC]

Created attachment 870760 [details]
environment

[Comment 5 Toralf Förster 2023-09-16 17:49:06 UTC]

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

[Comment 6 Toralf Förster 2023-09-16 17:49:06 UTC]

The file size of ./files/temp.tar.xz is too big (203M) for an upload. For few weeks the link http://tinderbox.zwiebeltoralf.de:31560/17.1-20230916-053003/var/tmp/tb/issues/20230916-173843-dev-lang_boogie-3.0.4/files/temp.tar.xz is valid.

[Comment 7 Larry the Git Cow 2023-09-17 19:32:58 UTC]

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b38efbf6d8504046353f95aaf85977f50be2a56c

commit b38efbf6d8504046353f95aaf85977f50be2a56c
Author:     Maciej Barć <[e-mail]>
AuthorDate: 2023-09-16 22:25:12 +0000
Commit:     Maciej Barć <[e-mail]>
CommitDate: 2023-09-17 19:20:27 +0000

    dev-dotnet/dotnet-sdk-bin: fix dotnet-runtime-nugets dependencies
    
    Closes: https://bugs.gentoo.org/914302
    Signed-off-by: Maciej Barć <[e-mail]>

 ...dotnet-sdk-bin-7.0.401.ebuild => dotnet-sdk-bin-7.0.401-r1.ebuild} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)