From 8368c614e6a1232f34a14cd6495cf2f68933030d Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Fri, 6 Oct 2023 17:57:58 +0100
Subject: gentoo auto-resync : 06:10:2023 - 17:57:58

---
 .../boogie/files/boogie-3.0.4-disable-analyzers.patch  | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch

(limited to 'dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch')

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>
+ 
-- 
cgit v1.2.3