[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/files/, dev-lang/boogie/

[Maciej Barć]

commit:     69d7a057032796618ec6ff2d1560cf4ee1532dff
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Oct  6 09:39:45 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Oct  6 15:20:47 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=69d7a057

dev-lang/boogie: disable analyzers

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/boogie/boogie-3.0.4.ebuild                    |  4 +++-
 .../boogie/files/boogie-3.0.4-disable-analyzers.patch  | 18 ++++++++++++++++++
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild 
b/dev-lang/boogie/boogie-3.0.4.ebuild
index 4a65a8887995..fd4d8b31113f 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -210,6 +210,7 @@ if [[ "${PV}" == *9999* ]] ; then
 else
        SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
                -> ${P}.tar.gz"
+
        KEYWORDS="~amd64"
 fi
 
@@ -229,9 +230,10 @@ BDEPEND="
        )
 "
 
+PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
+
 CHECKREQS_DISK_BUILD="2G"
 DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
-DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:WarningLevel=0 )   # Extreme amounts of 
warnings.
 
 pkg_setup() {
        check-reqs_pkg_setup

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