commit: 727ab363d94c28e8f967fd37e95e870d3bd76fa7 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Oct 14 19:20:46 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Oct 14 19:43:17 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=727ab363
sci-mathematics/lean: increase ulimit for version 4.14.0 Closes: https://bugs.gentoo.org/955209 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/lean/lean-4.14.0-r1.ebuild | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/sci-mathematics/lean/lean-4.14.0-r1.ebuild b/sci-mathematics/lean/lean-4.14.0-r1.ebuild index bbb780629319..3f283c3101db 100644 --- a/sci-mathematics/lean/lean-4.14.0-r1.ebuild +++ b/sci-mathematics/lean/lean-4.14.0-r1.ebuild @@ -85,6 +85,12 @@ src_configure() { cmake_src_configure } +src_compile() { + ulimit -s 30000000 || eerror "Failed to set required ulimit. Build may fail!" + + cmake_src_compile +} + src_install() { cmake_src_install
