From 8fc067fa986495215d307e6701004e839fe4f755 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Sat, 7 Oct 2023 23:07:17 +0200
Subject: dev-lang/boogie: use RollForward=Major to update to .NET 7.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 dev-lang/boogie/boogie-3.0.4.ebuild | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'dev-lang')

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.4.ebuild
index fd4d8b31113f..8cb18a16b354 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -234,6 +234,7 @@ PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
 
 CHECKREQS_DISK_BUILD="2G"
 DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
+DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
 
 pkg_setup() {
 	check-reqs_pkg_setup
@@ -243,16 +244,12 @@ pkg_setup() {
 src_unpack() {
 	dotnet-pkg_src_unpack
 
-	if [[ -n ${EGIT_REPO_URI} ]] ; then
+	if [[ -n "${EGIT_REPO_URI}" ]] ; then
 		git-r3_src_unpack
 	fi
 }
 
 src_prepare() {
-	# Bump used .NET version: 6.0 -> 7.0
-	sed -e "s|net6.0|net7.0|g" \
-		-i "${S}/Source/Directory.Build.props" || die
-
 	# Remove bad tests.
 	local -a bad_tests=(
 		civl/inductive-sequentialization/BroadcastConsensus.bpl
-- 
cgit v1.2.3-65-gdbad