I'm pretty happy with that solution. the downside would be that the Z3 constraint solver can't be used by LLVM. Ubuntu and Fedora currently have it disabled for all architectures and I'm not seeing any bug reports.
On Mon, Oct 17, 2022 at 3:33 PM Bernhard Übelacker <bernha...@mailbox.org> wrote: > > Hello Karo, hello Dill, > I tried to carry this issue to the llvm people, if it > might be possible to drop libz3 linking of libllvm at i386. > This should mitigate most visible issues, > but I am not sure what the downsides would be. > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021926 > > Kind regards, > Bernhard
