[PATCH] D132441: Fix FindZ3.cmake's version detection mechanism

[Zhang via Phabricator via llvm-commits]

Naville added a comment.

Browsed through my catalog and found one.
Basically, vcpkg put libZ3.dll in its own "exported toolchain folder", and then you use it with ``-DCMAKE_TOOLCHAIN_FILE=vcpkg/...../vcpkg.cmake XXXXX``.
In this case, libZ3.dll is not copied into the same directory with the built test program, nor is it in system DLL path, hence broke current FindZ3.cmake in another completely different way


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132441