Displaying 1 result from an estimated 1 matches for "0a3c371f".
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
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> 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