[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support

[Paulo Matos via llvm-dev]

On 12/02/2019 19:49, Mikhail Ramalho wrote:
> 
> 
> 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 <mailto: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.
> 

Ah, ok you're linking clang with libz3 or so? ...

Still... I am definitely not an expert in licensing but after a quick
lookup on Google, I would say that Apache2 and MIT would not cause a
problem. Anyway, don't quote me on that.

-- 
Paulo Matos