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>
