commit: 46c0040634fa9f05cd07f0871352c6e0ffddde5d Author: Maciej Barć <xgqt <AT> riseup <DOT> net> AuthorDate: Thu Oct 21 14:13:59 2021 +0000 Commit: Maciej Barć <xgqt <AT> riseup <DOT> net> CommitDate: Thu Oct 21 14:14:04 2021 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=46c00406
dev-lang/lean: exclude style_check test Closes: https://bugs.gentoo.org/819093 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt <AT> 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 31967bcd4..7fe835012 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 31967bcd4..7fe835012 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"
