Make libz3-4 depend on sse2-support for i386.
1 unresolved thread
1 unresolved thread
Closes: #1020802
Merge request reports
Activity
Filter activity
GitHub upstream issue: https://github.com/Z3Prover/z3/issues/6369
Closing this: rather than requiring SSE2, just do not emit SSE2 instructions for x86_32.
New MR: !8 (closed)