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

[Roman Lebedev via cfe-dev]

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