Displaying 2 results from an estimated 2 matches for "a2d1cc42".
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
...>> cfe-dev at lists.llvm.org
> >> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
> >>
>
> --
> Paulo Matos
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190212/a2d1cc42/attachment.html>
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
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.
On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev <cfe-dev at lists.llvm.org
wrote:
> On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev
> <cfe-dev at lists.llvm.org> wrote:
> >
> > Hello,
> >
> > I am trying to run scan-build