[PATCH] D80227: Fix FindZ3.cmake to work with static Z3 libraries

[Artem Dinaburg via Phabricator via llvm-commits]

ArtemDinaburg added a comment.

>From a quick glance it looks like `CheckCXXSourceRuns` doesn't provide a documented way to store output of the command, and the output is what LLVM's build system is after.  Interestingly `CheckCXXSourceRuns` also uses `file(WRITE ...` and then `try_run`, which  makes me wonder if it has the same underlying issue, or if it is unaffected because it is in a macro.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80227