search for: dclang_analyzer_enable_z3_solver

Displaying 2 results from an estimated 2 matches for "dclang_analyzer_enable_z3_solver".

[cfe-dev] clang in official apt repo built without z3 support
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
...check-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...
[cfe-dev] clang in official apt repo built without z3 support
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
...tunately 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...