commit: 08024617c343707bab3517d47cc55b7f23960e52 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Oct 6 20:45:02 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Oct 6 20:54:40 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08024617
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 <AT> 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(-) diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild b/dev-lang/boogie/boogie-2.15.8-r3.ebuild similarity index 92% rename from dev-lang/boogie/boogie-2.15.8-r2.ebuild rename to dev-lang/boogie/boogie-2.15.8-r3.ebuild index 7324430f8146..1b6c0b18edd5 100644 --- a/dev-lang/boogie/boogie-2.15.8-r2.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r3.ebuild @@ -43,7 +43,7 @@ src_prepare() { export DOTNET_NOLOGO=1 export DOTNET_CONFIGURATION=$(usex debug Debug Release) export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN} - export NUGET_PACKAGES="${S}"/nuget_packages + export NUGET_PACKAGES="${S}"/Source/nuget_packages default @@ -68,7 +68,8 @@ src_prepare() { } src_configure() { - edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} "${S}"/Source + edob dotnet restore "${S}"/Source \ + --source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT} } src_compile() {
