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

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

I'm not cmake expert but does

  option(LLVM_ENABLE_Z3_SOLVER
    "Enable Support for the Z3 constraint solver in LLVM."
    ON
  )

means that it's enabled by default?

If so, I'd suggest making it disabled by default.


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

https://reviews.llvm.org/D78025