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

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho accepted this revision.
mikhail.ramalho added a comment.
This revision is now accepted and ready to land.

LGTM.

Do you have permission to push the patch? Otherwise, I can push it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75544