Le 02/11/2019 à 12:09, Paolo Greppi a écrit :
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:
Right! Thanks
I just pushed a fix in the vcs
Sylvestre
