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

[Artem Dinaburg via Phabricator via llvm-commits]

ArtemDinaburg added a comment.

Verified that having a pre-made `testz3.cpp` fixes my issue. Thinking about it more, there is no explicit dependency between `file(WRITE ...` and `try_compile`, so the two actions can happen in parallel. It just so happened that my particular build setup repeatedly hit this issue with `try_compile` failing before the write could occur.

Will try for an updated patch later tonight.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80227