summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-10-07 23:07:17 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-10-08 00:39:04 +0200
commit8fc067fa986495215d307e6701004e839fe4f755 (patch)
tree41ca8b32439c128474fbe007d739cd364fd397c2 /dev-lang
parentpackage.mask: Last rite x11-misc/sselp (diff)
downloadgentoo-8fc067fa986495215d307e6701004e839fe4f755.tar.gz
gentoo-8fc067fa986495215d307e6701004e839fe4f755.tar.bz2
gentoo-8fc067fa986495215d307e6701004e839fe4f755.zip
dev-lang/boogie: use RollForward=Major to update to .NET 7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/boogie/boogie-3.0.4.ebuild7
1 files changed, 2 insertions, 5 deletions
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