[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 llvm-bugs at lists.llvm.org
Thu Sep 26 06:59:56 PDT 2019


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>

More information about the llvm-bugs mailing list