[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support
Paulo Matos via llvm-dev
llvm-dev at lists.llvm.org
Tue Feb 12 11:57:19 PST 2019
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
> >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.
More information about the llvm-dev