[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support
Mikhail Ramalho via llvm-dev
llvm-dev at lists.llvm.org
Tue Feb 12 12:16:29 PST 2019
On Tue, 12 Feb 2019, 15:57 Paulo Matos <pmatos at linki.tools wrote:
> 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>>
> > >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.
AFAIK, the only requirement is to ship Z3's license along with the clang.
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.
> Paulo Matos
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev