<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos@linki.tools wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
On 12 February 2019 18:59:21 CET, Mikhail Ramalho <<a href="mailto:mikhail.ramalho@gmail.com" target="_blank" rel="noreferrer">mikhail.ramalho@gmail.com</a>> wrote:<br>
>I _think_ there is a problem with the license as well: Z3 is MIT, so<br>
>clang<br>
>would have to be released with Z3's license.<br>
<br>
I don't think that's a problem. You are not releasing z3 with clang. This is an apt repo. </blockquote></div></div><div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">I don't it matters if it's a tar.gz or an apt repo.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">You just need to add the correct dependency on the repo and build using  z3 support. <br>
<br>
><br>
>On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev<br>
><<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a><br>
>wrote:<br>
><br>
>> On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev<br>
>> <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" rel="noreferrer">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" 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<br>
>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" 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" 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<br>
>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" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a><br>
>> > <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="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" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a><br>
>> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
>><br>
<br>
--<br>
Paulo Matos <br>
</blockquote></div></div></div>