dev-lang:boogie-2.15.8-r2:20221006-163116.log

dev-lang:boogie-2.15.8-r2:20221006-163116.log (text/plain), 2.21 KB, created by Toralf Förster on 2022-10-06 20:16:50 UTC

 * Package:    dev-lang/boogie-2.15.8-r2:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/boogie-org/boogie/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking boogie-2.15.8.tar.gz to /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work
>>> Unpacking boogie-2.15.8-deps.tar.xz to /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work
>>> Source unpacked in /var/tmp/portage/dev-lang/boogie-2.15.8-r2/work
>>> 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):
 *   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
 * 
 * Call stack:
 *     ebuild.sh, line 122:  Called src_configure
 *   environment, line 595:  Called edob 'dotnet' 'restore' '-p:TargetFramework=net6.0' '/var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8/Source'
 *   environment, line 506:  Called die
 * The specific snippet of code:
 *       eend $? || die -n "Failed to run command: $@"
 * 
 * If you need support, post the output of `emerge --info '=dev-lang/boogie-2.15.8-r2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-lang/boogie-2.15.8-r2::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-lang:boogie-2.15.8-r2:20221006-163116.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/boogie-2.15.8-r2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-lang/boogie-2.15.8-r2/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8'
 * S: '/var/tmp/portage/dev-lang/boogie-2.15.8-r2/work/boogie-2.15.8'