From 46c0040634fa9f05cd07f0871352c6e0ffddde5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@riseup.net>
Date: Thu, 21 Oct 2021 16:13:59 +0200
Subject: [PATCH] dev-lang/lean: exclude style_check test
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/819093
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
---
 dev-lang/lean/lean-3.33.0.ebuild | 9 +++++++++
 dev-lang/lean/lean-3.34.0.ebuild | 9 +++++++++
 2 files changed, 18 insertions(+)

diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild
index 31967bcd48..7fe835012d 100644
--- a/dev-lang/lean/lean-3.33.0.ebuild
+++ b/dev-lang/lean/lean-3.33.0.ebuild
@@ -41,6 +41,15 @@ src_configure() {
 	cmake_src_configure
 }
 
+src_test() {
+	local myctestargs=(
+		# Disable problematic "style_check" cpplint test,
+		# this also removes python test dependency
+		--exclude-regex style_check
+	)
+	cmake_src_test
+}
+
 pkg_postinst() {
 	elog "You probably want to use lean with mathlib, to install it you can either:"
 	elog " - Do not install mathlib globally and use local versions"
diff --git a/dev-lang/lean/lean-3.34.0.ebuild b/dev-lang/lean/lean-3.34.0.ebuild
index 31967bcd48..7fe835012d 100644
--- a/dev-lang/lean/lean-3.34.0.ebuild
+++ b/dev-lang/lean/lean-3.34.0.ebuild
@@ -41,6 +41,15 @@ src_configure() {
 	cmake_src_configure
 }
 
+src_test() {
+	local myctestargs=(
+		# Disable problematic "style_check" cpplint test,
+		# this also removes python test dependency
+		--exclude-regex style_check
+	)
+	cmake_src_test
+}
+
 pkg_postinst() {
 	elog "You probably want to use lean with mathlib, to install it you can either:"
 	elog " - Do not install mathlib globally and use local versions"