From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1566833-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (2048 bits))
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id A9363158089
for <garchives@archives.gentoo.org>; Mon, 30 Oct 2023 23:16:01 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id E655C2BC03F;
Mon, 30 Oct 2023 23:16:00 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id C7E792BC03F
for <gentoo-commits@lists.gentoo.org>; Mon, 30 Oct 2023 23:16:00 +0000 (UTC)
Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id BD510335CA6
for <gentoo-commits@lists.gentoo.org>; Mon, 30 Oct 2023 23:15:59 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 3CBD212F1
for <gentoo-commits@lists.gentoo.org>; Mon, 30 Oct 2023 23:15:58 +0000 (UTC)
From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" <xgqt@gentoo.org>
Message-ID: <1698707754.467b53be7e33f8c51436b04116c94f331131f527.xgqt@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny/, dev-lang/dafny/files/
X-VCS-Repository: repo/gentoo
X-VCS-Files: dev-lang/dafny/Manifest dev-lang/dafny/dafny-4.3.0-r1.ebuild dev-lang/dafny/dafny-4.3.0.ebuild dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
X-VCS-Directories: dev-lang/dafny/files/ dev-lang/dafny/
X-VCS-Committer: xgqt
X-VCS-Committer-Name: Maciej Barć
X-VCS-Revision: 467b53be7e33f8c51436b04116c94f331131f527
X-VCS-Branch: master
Date: Mon, 30 Oct 2023 23:15:58 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: 82cb120c-4665-4782-8d9a-90068a7b2059
X-Archives-Hash: 925528adfbc4d72201d7a72358291f3f
commit: 467b53be7e33f8c51436b04116c94f331131f527
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 30 19:26:53 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Oct 30 23:15:54 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=467b53be
dev-lang/dafny: patch out .NET framework
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny/Manifest | 2 --
.../{dafny-4.3.0.ebuild => dafny-4.3.0-r1.ebuild} | 3 +--
.../dafny/files/dafny-4.3.0-net6.0-upgrade.patch | 22 ++++++++++++++++++++++
3 files changed, 23 insertions(+), 4 deletions(-)
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index a5d0ea69c4ad..f3a77f80609e 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -85,8 +85,6 @@ DIST microsoft.netcore.platforms.3.0.0.nupkg 29497 BLAKE2B eb1e21bb3a3d3d3a65b13
DIST microsoft.netcore.platforms.3.1.0.nupkg 29544 BLAKE2B 2739d62e92e61677964f9ef380ef2f72ddb6879444d7e744c283a73fdf4ad69c07c36a0b3c4030312b0a4c622aa91dc09cfa828ab8dcd9cf0c5506aa2fac5c8c SHA512 636a1e3768f782ced193b18ec61616c122b5b756395bbec3ede805b172ce62db2d631407deebba73bf136234479be4824f0268a57f52ff4f8d7d37d4370cd966
DIST microsoft.netcore.targets.1.0.1.nupkg 18189 BLAKE2B d43a064d4c6f836be5164708ff0401913b32fc3340cad7c8fd08f421ea553805ac150a134a0d60a55d41eec124514a5e5197eebcc85aa6595cc6b91e33025d61 SHA512 6ed8e75f945a18651066fe9ee31cf6c8257a5974340fe4d262438903c4959a479f4a515a4d1389e6d3d3ab34f09a3c7bc2009aada2e8a7f697b6655a82d3bfc9
DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1 SHA512 1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe
-DIST microsoft.netframework.referenceassemblies.1.0.2.nupkg 20957 BLAKE2B e521646690b142a703d943cb0528552a669ceed16fa71e3a04300da1eb58d5428b168628c85b8e963e963cf0041b0a02d7442414248e6f506ff3d7ae452a85cb SHA512 8bf3922b695856059b8eec696a7ace03a7269d71d4c456cbdfb21bd3f6e69f2a9fa25e46acd5c29ad872829a07cc05ec083c3a6ee942bca21afd47ce3bc533e3
-DIST microsoft.netframework.referenceassemblies.net452.1.0.2.nupkg 19845441 BLAKE2B c2be1acfd4207984ba33a5ed468fea39299d61d6af99ef9cfc7df16096c0ecfb6133a3c970ffc150f79566710a589c5a387a5d2da8d5ce25f23173cfcfcc7661 SHA512 f4b099aa012c3d117c58dafcaa3edfc273ad7d5acf30c84d213eb15ae101559e7da3f1810285909153e85d73ac58dfedc34e6730c264cb0ae013e19a1213d691
DIST microsoft.testplatform.extensions.trxlogger.17.0.0.nupkg 361862 BLAKE2B 7315293c1ab965bbcc299a842a2e1f462e4821168f79f3036f7a14a4116f3d73c00f5b645bd1d16fc963f595e65ae11d7658544a6482c0e5926b36528644b259 SHA512 d72f41fbe9d4155b85d0e20e6a476d41ea55e355c61561270f241a1b2ef5b9d8dc9c81ca43d14c550a50bff0a301923e9e84a5035e5b31006a9639ba0221e907
DIST microsoft.testplatform.objectmodel.16.11.0.nupkg 2966263 BLAKE2B 5bf6464154b639b478c4000dd64e7570d124a446680583bceafee1cf3eafdc6a7bc10cacc665327a562a28fe0268c5d749dad0ef11376880f76310f1e3cb055c SHA512 105ec3c2d2d476abfa9fec73b25a701d815b743512b575e7ee2373ef7e459f767688be7ecdb555849a8342e07e922ab819dfae637e8b23b36ed918655d9a7471
DIST microsoft.testplatform.objectmodel.16.9.4.nupkg 2224614 BLAKE2B c8b0899000db731c0041f6209e4f85d2bbee5a7ebe3d3addd4405a33e1036bef52098c3fe8146123db262e71868d7bbe541149ef7443c7fc718ca78f916d384b SHA512 a1fc8192007d0d1a852393eadea26b8400df81a50d8a29549f79f726694696b2c361460561a3910f66dc195044b7773addc25642f9c7389b7152489e162f9ad9
diff --git a/dev-lang/dafny/dafny-4.3.0.ebuild b/dev-lang/dafny/dafny-4.3.0-r1.ebuild
similarity index 99%
rename from dev-lang/dafny/dafny-4.3.0.ebuild
rename to dev-lang/dafny/dafny-4.3.0-r1.ebuild
index 216aec617ebc..78bc91322e3f 100644
--- a/dev-lang/dafny/dafny-4.3.0.ebuild
+++ b/dev-lang/dafny/dafny-4.3.0-r1.ebuild
@@ -92,8 +92,6 @@ microsoft.netcore.platforms@3.0.0
microsoft.netcore.platforms@3.1.0
microsoft.netcore.targets@1.0.1
microsoft.netcore.targets@1.1.0
-microsoft.netframework.referenceassemblies.net452@1.0.2
-microsoft.netframework.referenceassemblies@1.0.2
microsoft.testplatform.extensions.trxlogger@17.0.0
microsoft.testplatform.objectmodel@16.11.0
microsoft.testplatform.objectmodel@16.9.4
@@ -417,6 +415,7 @@ PATCHES=(
"${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch"
"${FILESDIR}/${PN}-4.1.0-lit.patch"
"${FILESDIR}/${PN}-4.2.0-lit-use-system-boogie.patch"
+ "${FILESDIR}/${PN}-4.3.0-net6.0-upgrade.patch"
)
DOCS=(
diff --git a/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
new file mode 100644
index 000000000000..5c43ca90ae0e
--- /dev/null
+++ b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
@@ -0,0 +1,22 @@
+--- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig
++++ b/Source/DafnyRuntime/DafnyRuntime.csproj
+@@ -6,7 +6,7 @@
+ <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
+ <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
+ <DefineConstants>TRACE;ISDAFNYRUNTIMELIB</DefineConstants>
+- <TargetFrameworks>netstandard2.0;net452</TargetFrameworks>
++ <TargetFrameworks>net6.0</TargetFrameworks>
+ <OutputPath>..\..\Binaries\</OutputPath>
+ <LangVersion>7.3</LangVersion>
+ <PackageLicenseExpression>MIT</PackageLicenseExpression>
+--- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig
++++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj
+@@ -2,7 +2,7 @@
+ <Project Sdk="Microsoft.NET.Sdk">
+
+ <PropertyGroup>
+- <TargetFramework>netstandard2.0</TargetFramework>
++ <TargetFramework>net6.0</TargetFramework>
+ </PropertyGroup>
+
+ <ItemGroup>