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

[Paulo Matos via cfe-dev]

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?

Kind regards,
-- 
Paulo Matos