[llvm-bugs] [Bug 42921] FileCheck linking with Z3 despite -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=42921

Hans Wennborg <hans at chromium.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hans at chromium.org
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #5 from Hans Wennborg <hans at chromium.org> ---
(In reply to Paul Robinson from comment #3)
> CC: Hans and making it a blocker for PR42474, because the CMake parameter 
> name change probably deserves a release note:
> 
> The CMake parameter CLANG_ANALYZER_ENABLE_Z3_SOLVER has been replaced by
> LLVM_ENABLE_Z3_SOLVER.

Thanks! Added a note in r368269.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190808/435ef214/attachment.html>