Bug#943996: llvm-9 now depends on libz3-4

Paolo Greppi paolo.greppi at libpf.com
Sat Nov 2 11:09:43 GMT 2019


Hi Sylvestre and many thanks for the prompt response, see below.

On 02/11/19 11:59, Sylvestre Ledru wrote:
> Hello,
> 
> 
> Le 02/11/2019 à 11:52, Paolo Greppi a écrit :
>> Package: llvm-9
>> Version: 1:9.0.0-3
>> Severity: normal
> [...]
>> This does not seem right.
> 
> Why? z3 is a solver used to improve the static analysis results.
> 
> I enabled it in 9-3
> 
> Cheers,
> Sylvestre

Ah OK !

Then one of llvm-9-dev, libclang-9-dev or clang-9 musg depend on libz3-dev because my build does not find /usr/lib/x86_64-linux-gnu/libz3.so:

https://salsa.debian.org/debian/doxygen/-/jobs/395949

P.



More information about the Pkg-llvm-team mailing list