diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-10-07 23:07:17 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-10-08 00:39:04 +0200 |
| commit | 8fc067fa986495215d307e6701004e839fe4f755 (patch) | |
| tree | 41ca8b32439c128474fbe007d739cd364fd397c2 /dev-lang | |
| parent | package.mask: Last rite x11-misc/sselp (diff) | |
| download | gentoo-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.ebuild | 7 |
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 |