search for: a2d1cc42

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