[PATCH] D75544: Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini added a comment.

Seems like the previous behavior was to try to find a compatible Z3 and use it even if the user didn't opt-in. 
I am not sure if there was a strong use case for this, I rather have something like this more explicitly configured.

So LGTM, but the original author of this configuration (or someone else knowledgeable about LLVM uses of Z3) should also chime in.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75544/new/

https://reviews.llvm.org/D75544