From 727ab363d94c28e8f967fd37e95e870d3bd76fa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Tue, 14 Oct 2025 21:20:46 +0200
Subject: [PATCH] sci-mathematics/lean: increase ulimit for version 4.14.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/955209
Signed-off-by: Maciej Barć <xgqt@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 bbb7806293196..3f283c3101dbc 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