Displaying 2 results from an estimated 2 matches for "report_cc".
Did you mean:
report_
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
...edev 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 with crosscheck with z3 like:
> > scan-build-9 -o scan-report_cc -analyzer-config
> > 'crosscheck-with-z3=true' make
> >
> > Unfortunately the packages in then official repo here:
> > https://apt.llvm.org/
> >
> > are build without Z3 support so I get:
> > fatal error: error in backend: Clang was not compiled wit...
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
...;> 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 with crosscheck with z3 like:
> >> > scan-build-9 -o scan-report_cc -analyzer-config
> >> > 'crosscheck-with-z3=true' make
> >> >
> >> > Unfortunately the packages in then official repo here:
> >> > https://apt.llvm.org/
> >> >
> >> > are build without Z3 support so I get:
> >>...