Bug 875758

Summary:	dev-lang/boogie-2.15.8-r2 - /.../environment:line <snip>: dotnet: command not found
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Maciej Barć <xgqt>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt dev-lang:boogie-2.15.8-r2:20221006-163116.log emerge-history.txt environment etc.portage.tar.bz2 temp.tar.bz2

Description Toralf Förster gentoo-dev

2022-10-06 20:16:48 UTC

>>> 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"

Comment 1 Toralf Förster gentoo-dev

2022-10-06 20:16:49 UTC

Created attachment 822556 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2022-10-06 20:16:50 UTC

Created attachment 822559 [details]
dev-lang:boogie-2.15.8-r2:20221006-163116.log

Comment 3 Toralf Förster gentoo-dev

2022-10-06 20:16:51 UTC

Created attachment 822562 [details]
emerge-history.txt

Comment 4 Toralf Förster gentoo-dev

2022-10-06 20:16:52 UTC

Created attachment 822565 [details]
environment

Comment 5 Toralf Förster gentoo-dev

2022-10-06 20:16:53 UTC

Created attachment 822568 [details]
etc.portage.tar.bz2

Comment 6 Toralf Förster gentoo-dev

2022-10-06 20:16:54 UTC

Created attachment 822571 [details]
temp.tar.bz2

Comment 7 Larry the Git Cow gentoo-dev

2022-10-06 20:56:29 UTC

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(-)