gentoo/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
Maciej Barć 69d7a05703
dev-lang/boogie: disable analyzers
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-10-06 17:20:47 +02:00

19 lines
764 B
Diff

--- 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>