diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
| commit | 8368c614e6a1232f34a14cd6495cf2f68933030d (patch) | |
| tree | fb445ed1110e0361c9c25136c00c4fb948bb46c4 /dev-lang/boogie/files | |
| parent | 2b03b0d9c5ca3890c219ebd24721133e766e9bb9 (diff) | |
gentoo auto-resync : 06:10:2023 - 17:57:58
Diffstat (limited to 'dev-lang/boogie/files')
| -rw-r--r-- | dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch new file mode 100644 index 000000000000..65bc3a988c1a --- /dev/null +++ b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch @@ -0,0 +1,18 @@ +--- a/Source/Directory.Build.props ++++ b/Source/Directory.Build.props +@@ -16,13 +16,13 @@ + </ItemGroup> + + <!-- Use StyleCop to check for consistent code formatting --> +- <ItemGroup Condition="'$(Configuration)' != 'Release'"> ++ <ItemGroup Condition="'$(Configuration)' == 'Disable'"> + <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" PrivateAssets="All" /> + <AdditionalFiles Include="$(MSBuildThisFileDirectory)stylecop.json" /> + </ItemGroup> + + <!-- Configure StyleCop analysis rules --> +- <PropertyGroup Condition="'$(Configuration)' != 'Release'"> ++ <PropertyGroup Condition="'$(Configuration)' == 'Disable'"> + <CodeAnalysisRuleSet>$(MSBuildThisFileDirectory)StyleCop.ruleset</CodeAnalysisRuleSet> + </PropertyGroup> + |