[PATCH] D132441: Fix FindZ3.cmake's version detection mechanism

[Mikhail Korolev via Phabricator via llvm-commits]

stilriv added a comment.

Not really. I want to split try_run into try_compile (both cross and native) and try_run (native or when CROSSCOMPILING_EMULATOR is specified) or fallback to header parsing in cross build (when there is no CROSSCOMPILING_EMULATOR). The reasoning is that try_run without emulator always causes a configuration error unless explicit Z3__RETURNCODE (or something) and Z3__TRYRUN_OUTPUT (or something) are passed through command line which is very inconvenient keepind in mind this machinery is meant to detect version without user input.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132441