<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1""
href="https://bugs.llvm.org/show_bug.cgi?id=42054">42054</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1"
</td>
</tr>
<tr>
<th>Product</th>
<td>Build scripts
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Windows NT
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>cmake
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>jerker.back@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=22041" name="attach_22041" title="cmake configure script">attachment 22041</a> <a href="attachment.cgi?id=22041&action=edit" title="cmake configure script">[details]</a></span>
cmake configure script
cmake configuration of llvm on Windows 10 using Visual Studio 2019 x64 and
cmake-3.14.4-win64-x64
cmake configure fails with
-- Could NOT find Z3: Found unsuitable version "0.0.0", but required is at
least "4.7.1" (found F:/dev/compilers/z3/bin/libz3.lib)
CMake Error at CMakeLists.txt:395 (message):
Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: F:/dev/compilers/z3.
I have installed the latest Z3 (Version 4.8.4) from official github download.
To me, it seems "Microsoft.Z3.dll" is the only versioned binary (4.8.4.0).
libz3.lib as a static library (or import library) is certainly not versioned.
z3.exe reports upon execution
z3.exe --version
Z3 version 4.8.4 - 64 bit - build hashcode d6df51951f4c
I think it is the following instruction in llvm/CMakeLists.txt that fails
CMakeLists.txt(391):find_package(Z3 4.7.1)</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>