[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support (original) (raw)

Paulo Matos via llvm-dev llvm-dev at lists.llvm.org
Tue Feb 12 10:32:19 PST 2019

On 12 February 2019 18:59:21 CET, Mikhail Ramalho <mikhail.ramalho at gmail.com> wrote:

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.

I don't think that's a problem. You are not releasing z3 with clang. This is an apt repo. You just need to add the correct dependency on the repo and build using z3 support.

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-reportcc -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 -DCLANGANALYZERENABLEZ3SOLVER=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

-- Paulo Matos

More information about the llvm-dev mailing list