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

Mikhail Ramalho via llvm-dev llvm-dev at lists.llvm.org
Tue Feb 12 10:49:55 PST 2019

On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos at linki.tools wrote:

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.

Well, I'm not an expert, but building clang linked with z3 and offering it online for people to download seems a lot like a release.

I don't it matters if it's a tar.gz or 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190212/a2d1cc42/attachment.html>

More information about the llvm-dev mailing list