gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/lean: increase ulimit for version 4.14.0

Browse Source 
Closes: https://bugs.gentoo.org/955209
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2025-10-14 21:20:46 +02:00
parent 2b889eb63d
commit 727ab363d9
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
sci-mathematics/lean/lean-4.14.0-r1.ebuild
View File

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