From: Yehowshua Immanuel <programmed4jesus@gmail.com>
Date: Thu, 4 Jun 2020 18:01:56 +0000 (-0400)
Subject: MacOS has even stricter stack limits in catalina.
X-Git-Tag: working-ls180~500^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d29a9f633233e65caf330451bdbb13c620f29b8;p=yosys.git

MacOS has even stricter stack limits in catalina.

Invoking sby in macOS Catalina fails because of bizarre stack limits in Catalina.
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 9f7c8c6d9..9d03e162e 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -39,7 +39,7 @@ if os.name == "posix":
         smtio_stacksize = 128 * 1024 * 1024
         if os.uname().sysname == "Darwin":
             # MacOS has rather conservative stack limits
-            smtio_stacksize = 16 * 1024 * 1024
+            smtio_stacksize = 16 * 1024 * 512
         if current_rlimit_stack[1] != resource.RLIM_INFINITY:
             smtio_stacksize = min(smtio_stacksize, current_rlimit_stack[1])
         if current_rlimit_stack[0] < smtio_stacksize: