diff options
| author | Yehowshua Immanuel <programmed4jesus@gmail.com> | 2020-06-04 14:01:56 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 14:01:56 -0400 |
| commit | 5d29a9f633233e65caf330451bdbb13c620f29b8 (patch) | |
| tree | bfc89fe7bfad3a099d564a6b98e8609e6a46bfe5 /backends | |
| parent | 352731df4e0bf344cd20533a5561bc8ba3e07853 (diff) | |
| download | yosys-5d29a9f633233e65caf330451bdbb13c620f29b8.tar.gz yosys-5d29a9f633233e65caf330451bdbb13c620f29b8.tar.bz2 yosys-5d29a9f633233e65caf330451bdbb13c620f29b8.zip | |
MacOS has even stricter stack limits in catalina.
Invoking sby in macOS Catalina fails because of bizarre stack limits in Catalina.
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 1 insertions, 1 deletions
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: |