<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Tue, 12 Feb 2019, 15:57 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/02/2019 19:49, Mikhail Ramalho wrote:<br>
> <br>
> <br>
> On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos@linki.tools wrote:<br>
> <br>
> <br>
> <br>
>     On 12 February 2019 18:59:21 CET, Mikhail Ramalho<br>
>     <<a href="mailto:mikhail.ramalho@gmail.com" target="_blank" rel="noreferrer">mikhail.ramalho@gmail.com</a> <mailto:<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.<br>
>     This is an apt repo. <br>
> <br>
> <br>
> Well, I'm not an expert, but building clang linked with z3 and offering<br>
> it online for people to download seems a lot like a release.<br>
> <br>
> I don't it matters if it's a tar.gz or an apt repo.<br>
> <br>
<br>
Ah, ok you're linking clang with libz3 or so? ...<br>
<br>
Still... I am definitely not an expert in licensing but after a quick<br>
lookup on Google, I would say that Apache2 and MIT would not cause a<br>
problem. Anyway, don't quote me on that.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">AFAIK, the only requirement is to ship Z3's license along with the clang. </div><div dir="auto"><br></div><div dir="auto">I heard that there are other projects under the llvm umbrella with the same issue (linking against MIT/apache2 libraries) and that they're not released with llvm because this requirement. </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"><br><br>
-- <br>
Paulo Matos<br>
</blockquote></div></div></div>