Bug#943996: llvm-9 now depends on libz3-4
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:
> 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
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:
More information about the Pkg-llvm-team