Do not use SSE2 on i386 (!8) · Merge requests · pkg-llvm / z3 · GitLab

Karo Gyoker requested to merge karogyoker/z3:karogyoker/i386-sse2-patch into master Oct 18, 2022

Closes

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020802

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020516

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016658

Edited Oct 18, 2022 by Karo Gyoker