Bug#951675: z3 causing llvm linking issues

[Sylvestre Ledru]

Hello,

Le 20/02/2020 à 00:36, TheComputerGuy a écrit :
> Package: llvm-9-dev
> Version: 9.0.1-8
> 
> llvm or clang could be causing this issue but I have no idea which one. This issue occurs in the Debian Sid Docker. When linking the zig binary, a bunch of undefined references errors show up. I have been told by the maintainer that its an issue with Debian.
> 
>  > anyway that error looks like the debian llvm package was built to depend on Z3 support (which zig does not need), but then didn't correctly report -lz3 with llvm-config --system-libs. so your options are:
> * build llvm/clang from source
> * get debian/llvm to fix their bug
> * use apt.llvm.org instead of the debian package
> * use a binary from ziglang.org/download <http://ziglang.org/download>
> * maintain fork of zig that works around the issue
> 
> I'm not quite sure what the maintainer said from this quote but it sounds like this should be fixed as it could fix some packages that might currently be broken. I'm using the llvm and clang v9 stuff. I hope this issue is fixed soon, if anyone needs the specific errors you can find it on the build 
> log from https://github.com/ExpidusOS/docker-zig/runs/454581154 <https://github.com/ExpidusOS/docker-zig/runs/454581154>.

Could you please provide some error messages and step to reproduce?

Thanks
Sylvestre