Am 10.10.22 um 17:21 schrieb karogyoker999:
Hello,
MR has been opened to "fix" this issue:
https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/6
Eliminating SSE2 from z3 upstream is not feasible:
https://github.com/Z3Prover/z3/issues/6369#issuecomment-1259419466
The dependency chain I have identified:
xorg->libgl1-mesa-dri->libllvm14->libz3-4
Regards,
Karo
Hello Karo,
I am not sure if this the right approach,
because russdill made a few lines below you linked comment
that the crash seems just a product of loading a library,
which does use those instruction in its initialisation step,
even when this library is not suitable for the available hardware.
As far as I see your MR just adds a dependency to sse2-support,
which I guess just makes the installation abort in case of a CPU
not supporting sse2, so I guess this would just make
mesa not installable on your hardware?
Kind regards,
Bernhard
