Failed to restore /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source/UnitTests/BaseTypesTests/BaseTypesTests.csproj (in 38.66 sec). Failed to restore /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source/UnitTests/CoreTests/CoreTests.csproj (in 38.66 sec). Failed to restore /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTests.csproj (in 38.66 sec). [ !! ] * ERROR: dev-lang/boogie-2.15.8-r2::gentoo failed (configure phase): * Failed to run command: dotnet restore -p:TargetFramework=net6.0 /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_plasma-j4-20221005-170005 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12.2.0 * clang/llvm (if any): clang version 15.0.2 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.2 Python 3.10.7 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.64.0 * The following VMs are available for generation-2: 1) OpenJDK 17.0.5_p5 [openjdk-17] 2) OpenJDK 8.345_p01 [openjdk-8] *) Eclipse Temurin JDK 17.0.4.1_p1 [openjdk-bin-17] 4) Eclipse Temurin JDK 8.345_p01 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-8 [2] openjdk-17 [3] openjdk-bin-8 [4] openjdk-bin-17 system-vm 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 822538 [details] emerge-info.txt
Created attachment 822541 [details] dev-lang:boogie-2.15.8-r2:20221006-161445.log
Created attachment 822544 [details] emerge-history.txt
Created attachment 822547 [details] environment
Created attachment 822550 [details] etc.portage.tar.bz2
Created attachment 822553 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08024617c343707bab3517d47cc55b7f23960e52 commit 08024617c343707bab3517d47cc55b7f23960e52 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-10-06 20:45:02 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-10-06 20:54:40 +0000 dev-lang/boogie: fix broken NUGET_PACKAGES variable Also use "--source" flag for running "dotnet restore" which will warn when NUGET_PACKAGES directory does not exist. Closes: https://bugs.gentoo.org/875755 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/boogie/{boogie-2.15.8-r2.ebuild => boogie-2.15.8-r3.ebuild} | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
