[Bug 268009] clang crashes on armv7 on the port math/py-z3-solver
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 30 Jun 2023 09:22:47 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=268009
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.