[Bug 268009] clang crashes on armv7 on the port math/py-z3-solver

From: <bugzilla-noreply_at_freebsd.org>
Date: Fri, 30 Jun 2023 09:22:47 UTC

John F. Carr <jfc@mit.edu> changed:

           What    |Removed                     |Added
                 CC|                            |jfc@mit.edu

--- Comment #2 from John F. Carr <jfc@mit.edu> ---
Link time optimization is running out of memory.  The cmake option
Z3_LINK_TIME_OPTIMIZATION is forced on by src/api/python/setup.py and should be
off for armv7 and maybe any 32 bit target.

You are receiving this mail because:
You are the assignee for the bug.