>>> Preparing source in /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8 ... * Running dotnet restore -p:TargetFramework=net6.0 /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source ... /var/tmp/portage/dev-lang/boogie-2.15.8-r2/temp/environment: line 505: dotnet: command not found [ !! ] * ERROR: dev-lang/boogie-2.15.8-r2::gentoo failed (configure phase): ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome_systemd-j4-20221006-110003 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12.2.0 * clang/llvm (if any): /usr/lib/llvm/15 15.0.2 Python 3.10.7 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby30 (with Rubygems) * Available Rust versions: [1] rust-bin-1.64.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.4.1_p1 [openjdk-bin-17] *) Eclipse Temurin JDK 8.345_p01 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-17 The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): GNU Make 4.3 HEAD of ::gentoo commit 4ebc22d3e64076721663f072dc6b02878eeb12fd Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Oct 6 15:48:57 2022 +0000 2022-10-06 15:48:57 UTC emerge -qpvO dev-lang/boogie [ebuild N ] dev-lang/boogie-2.15.8-r2 USE="-debug -test"
Created attachment 822556 [details] emerge-info.txt
Created attachment 822559 [details] dev-lang:boogie-2.15.8-r2:20221006-163116.log
Created attachment 822562 [details] emerge-history.txt
Created attachment 822565 [details] environment
Created attachment 822568 [details] etc.portage.tar.bz2
Created attachment 822571 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edb1f85490719f26853b73adf24752a646452b6e commit edb1f85490719f26853b73adf24752a646452b6e Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-10-06 20:53:57 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-10-06 20:54:40 +0000 virtual/dotnet-sdk: require one dep to have dotnet-symlink enabled Closes: https://bugs.gentoo.org/875758 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../{dotnet-sdk-3.1.ebuild => dotnet-sdk-3.1-r1.ebuild} | 9 ++++++--- .../{dotnet-sdk-5.0.ebuild => dotnet-sdk-5.0-r1.ebuild} | 9 ++++++--- .../{dotnet-sdk-6.0.ebuild => dotnet-sdk-6.0-r1.ebuild} | 9 ++++++--- 3 files changed, 18 insertions(+), 9 deletions(-)
