[llvm-bugs] [Bug 42054] Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=42054

Marek Anioła <man130117 at outlook.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
                 CC|                            |man130117 at outlook.com

--- Comment #1 from Marek Anioła <man130117 at outlook.com> ---
See bug 43464: there is the solution (new
llvm-project\llvm\cmake\modules\FindZ3.cmake module) that works for me under
Windows & MSVC2019. May be it's good for you too?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190926/45a2f5ef/attachment.html>