diff options
| -rw-r--r-- | sci-mathematics/lean/lean-4.14.0-r1.ebuild | 6 |
1 files changed, 6 insertions, 0 deletions
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 |