[llvm-dev] [cfe-dev] clang in official apt repo built without z3 support (original) (raw)

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 >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

More information about the llvm-dev mailing list