https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=268009
John F. Carr <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #2 from John F. Carr <[email protected]> --- 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.
