[PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.

[Michał Górny via Phabricator via llvm-commits]

mgorny added a comment.

Are you sure about this? FWIU right now the default is to "use Z3 if available". If I read the patch right, it will be "default to requiring Z3, unless explicitly disabled". Not that I mind but I suppose it's a semantic change.


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

https://reviews.llvm.org/D78025