Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 870758 Details for
Bug 914302
dev-lang/boogie-3.0.4 - ERROR: dev-lang/boogie-3.0.4::gentoo failed (configure phase):
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
dev-lang:boogie-3.0.4:20230916-173833.log
dev-lang:boogie-3.0.4:20230916-173833.log (text/plain), 19.87 KB, created by
Toralf Förster
on 2023-09-16 17:49:02 UTC
(
hide
)
Description:
dev-lang:boogie-3.0.4:20230916-173833.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2023-09-16 17:49:02 UTC
Size:
19.87 KB
patch
obsolete
> * Package: dev-lang/boogie-3.0.4:0 > * Repository: gentoo > * Maintainer: dotnet@gentoo.org > * Upstream: https://github.com/boogie-org/boogie/issues/ > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox > * Checking for at least 2 GiB disk space at "/var/tmp/portage/dev-lang/boogie-3.0.4/temp" ... > [ ok ] > * Using dotnet SDK "dotnet-bin-7.0" from "/usr/bin/dotnet-bin-7.0". >>>> Unpacking source... >>>> Unpacking boogie-3.0.4.tar.gz to /var/tmp/portage/dev-lang/boogie-3.0.4/work >>>> Source unpacked in /var/tmp/portage/dev-lang/boogie-3.0.4/work >>>> Preparing source in /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4 ... >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4 ... > * Operating System: > * Process Architecture: X64 > * OS Version: Unix 6.5.3.0 > * Dotnet SDK: > * Version: 7.0.11 > * Framework Description: .NET 7.0.11 > * Dotnet Runtime: > * Process File Name: /opt/dotnet-sdk-bin-7.0/dotnet > * Runtime Directory: /opt/dotnet-sdk-bin-7.0/shared/Microsoft.NETCore.App/7.0.11/ > * Running "dotnet-pkg-base_restore" for project: "BoogieDriver.csproj" ... > * 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 > Determining projects to restore... >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/AbstractInterpretation/AbstractInterpretation.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Houdini/Houdini.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/ExecutionEngine/ExecutionEngine.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Provers/SMTLib/SMTLib.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: Unable to find package Microsoft.NETCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: Unable to find package Microsoft.AspNetCore.App.Runtime.linux-x64 with version (= 7.0.11) [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] >/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Model/Model.csproj : error NU1102: - Found 3 version(s) in /var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets [ Nearest version: 7.0.5 ] [/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BoogieDriver/BoogieDriver.csproj] > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Graph/Graph.csproj (in 703 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/BaseTypes/BaseTypes.csproj (in 702 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCExpr/VCExpr.csproj (in 702 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/VCGeneration/VCGeneration.csproj (in 702 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Core/Core.csproj (in 702 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/CodeContractsExtender/CodeContractsExtender.csproj (in 702 ms). > Failed to restore /var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4/Source/Concurrency/Concurrency.csproj (in 702 ms). > 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 > * > * Call stack: > * ebuild.sh, line 136: Called src_configure > * environment, line 1239: Called dotnet-pkg_src_configure > * environment, line 895: Called dotnet-pkg_foreach-project 'dotnet-pkg-base_restore' > * environment, line 880: Called dotnet-pkg-base_restore 'Source/BoogieDriver/BoogieDriver.csproj' > * environment, line 822: Called edotnet 'restore' '--runtime' 'linux-x64' '--source' '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/nugets' '-maxCpuCount:5' 'Source/BoogieDriver/BoogieDriver.csproj' > * environment, line 1086: Called edo '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' > * environment, line 1072: Called die > * The specific snippet of code: > * "$@" || die -n "Failed to run command: $@" > * > * If you need support, post the output of `emerge --info '=dev-lang/boogie-3.0.4::gentoo'`, > * the complete build log and the output of `emerge -pqv '=dev-lang/boogie-3.0.4::gentoo'`. > * The complete build log is located at '/var/log/portage/dev-lang:boogie-3.0.4:20230916-173833.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/dev-lang/boogie-3.0.4/temp/environment'. > * Working directory: '/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4' > * S: '/var/tmp/portage/dev-lang/boogie-3.0.4/work/boogie-3.0.4' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 914302
:
870757
| 870758 |
870759
|
870760
|
870761