<div dir="auto">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. <br><br><div class="gmail_quote" dir="auto"><div dir="ltr">On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev<br>
<<a href="mailto:cfe-dev@lists.llvm.org" rel="noreferrer noreferrer" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:<br>
><br>
> Hello,<br>
><br>
> I am trying to run scan-build with crosscheck with z3 like:<br>
> scan-build-9 -o scan-report_cc -analyzer-config<br>
> 'crosscheck-with-z3=true' make<br>
><br>
> Unfortunately the packages in then official repo here:<br>
> <a href="https://apt.llvm.org/" rel="noreferrer noreferrer noreferrer" target="_blank">https://apt.llvm.org/</a><br>
><br>
> are build without Z3 support so I get:<br>
> fatal error: error in backend: Clang was not compiled with Z3 support,<br>
> rebuild with -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=ON<br>
><br>
> Is there a reason for this? And is it possible to change it?<br>
The version of z3 in debian is very ancient:<br>
<a href="https://tracker.debian.org/pkg/z3" rel="noreferrer noreferrer noreferrer" target="_blank">https://tracker.debian.org/pkg/z3</a>    4.4.1-0.4<br>
<br>
LLVM needs 4.7 or something.<br>
There is a bug report:<br>
<a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909494" rel="noreferrer noreferrer noreferrer" target="_blank">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909494</a><br>
<br>
This also affects other LLVM-"affiliated" projects, like alive and souper.<br>
<br>
> Kind regards,<br>
> --<br>
> Paulo Matos<br>
Roman.<br>
<br>
> _______________________________________________<br>
> cfe-dev mailing list<br>
> <a href="mailto:cfe-dev@lists.llvm.org" rel="noreferrer noreferrer" target="_blank">cfe-dev@lists.llvm.org</a><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" rel="noreferrer noreferrer" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div>