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

[Dominic Chen via Phabricator via llvm-commits]

ddcc added a comment.

I'm not entirely convinced that it's a race, but a separate file seems fine. Have you tested with e.g. LLVM_OPTIMIZED_TABLEGEN? It might be safer to use LLVM_MAIN_SRC_DIR instead of CMAKE_SOURCE_DIR.

Looks fine to me, but might be best to get someone else to take a look as well.


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

https://reviews.llvm.org/D80227