https://bugs.llvm.org/show_bug.cgi?id=42921
Hans Wennborg <h...@chromium.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |h...@chromium.org
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #5 from Hans Wennborg <h...@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._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
