(original) (raw)

On 12 February 2019 18:59:21 CET, Mikhail Ramalho <mikhail.ramalho@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.

You just need to add the correct dependency on the repo and build using z3 support.

\>
\>On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev
\><cfe-dev@lists.llvm.org
\>wrote:
\>
\>> On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev
\>> <cfe-dev@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 with Z3
\>support,
\>> > rebuild with -DCLANG\_ANALYZER\_ENABLE\_Z3\_SOLVER=ON
\>> >
\>> > Is there a reason for this? And is it possible to change it?
\>> The version of z3 in debian is very ancient:
\>> https://tracker.debian.org/pkg/z3 4.4.1-0.4
\>>
\>> LLVM needs 4.7 or something.
\>> There is a bug report:
\>> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909494
\>>
\>> This also affects other LLVM-"affiliated" projects, like alive and
\>souper.
\>>
\>> > Kind regards,
\>> > --
\>> > Paulo Matos
\>> Roman.
\>>
\>> > \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
\>> > cfe-dev mailing list
\>> > cfe-dev@lists.llvm.org
\>> > https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
\>> \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
\>> cfe-dev mailing list
\>> cfe-dev@lists.llvm.org
\>> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
\>>

\--
Paulo Matos