[PATCH] D106131: Fix FindZ3.cmake to support static libraries and Windows
Valeriy Savchenko via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 22 04:00:42 PDT 2021
vsavchenko added a comment.
It looks reasonable to me, but I can't say that I'm an expert here, and I'm definitely not a frequent z3 user.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D106131/new/
https://reviews.llvm.org/D106131
More information about the llvm-commits
mailing list