[cfe-dev] clang in official apt repo built without z3 support
Paulo Matos via cfe-dev
cfe-dev at lists.llvm.org
Tue Feb 12 05:13:13 PST 2019
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
More information about the cfe-dev
mailing list