diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-10-31 03:47:04 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-31 03:47:04 +0000 |
| commit | a4d738a9d1fddef251ba88e258acdb50c243fa63 (patch) | |
| tree | 1687346e6907f4670ab4015ff2e717c50d574f9c /dev-lang/dafny/files | |
| parent | 77922838ba6e7b5f546528626d41f2e7f3fc2c08 (diff) | |
gentoo auto-resync : 31:10:2023 - 03:47:04
Diffstat (limited to 'dev-lang/dafny/files')
| -rw-r--r-- | dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch | 22 |
1 files changed, 22 insertions, 0 deletions
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>
|