[PATCH] D80227: Fix FindZ3.cmake to work with static Z3 libraries
Artem Dinaburg via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue May 19 13:44:48 PDT 2020
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
More information about the llvm-commits
mailing list