[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support (original) (raw)

Mikhail Ramalho via llvm-dev llvm-dev at lists.llvm.org
Tue Feb 12 09:59:21 PST 2019

I think there is a problem with the license as well: Z3 is MIT, so clang would have to be released with Z3's license.

On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev <cfe-dev at lists.llvm.org wrote:

On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev <cfe-dev at lists.llvm.org> wrote: > > Hello, > > I am trying to run scan-build with crosscheck with z3 like: > scan-build-9 -o scan-reportcc -analyzer-config > 'crosscheck-with-z3=true' make > > Unfortunately the packages in then official repo here: > https://apt.llvm.org/ > > are build without Z3 support so I get: > fatal error: error in backend: Clang was not compiled with Z3 support, > rebuild with -DCLANGANALYZERENABLEZ3SOLVER=ON > > Is there a reason for this? And is it possible to change it? The version of z3 in debian is very ancient: https://tracker.debian.org/pkg/z3 4.4.1-0.4

LLVM needs 4.7 or something. There is a bug report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909494 This also affects other LLVM-"affiliated" projects, like alive and souper. > Kind regards, > -- > Paulo Matos Roman. _> ________________________ > cfe-dev mailing list > cfe-dev at lists.llvm.org > https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev

cfe-dev mailing list cfe-dev at lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190212/cc2b93cf/attachment.html>

More information about the llvm-dev mailing list