[cfe-dev] clang in official apt repo built without z3 support

[Mikhail Ramalho via cfe-dev]

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-report_cc -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 -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=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/cfe-dev/attachments/20190212/cc2b93cf/attachment.html>