Bug#943996: llvm-9 now depends on libz3-4
sylvestre at debian.org
Sat Nov 2 11:24:42 GMT 2019
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:
>> 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:
I just pushed a fix in the vcs
More information about the Pkg-llvm-team