https://bugs.llvm.org/show_bug.cgi?id=41551
Bug ID: 41551
Summary: z3 version check broken?
Product: Build scripts
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: cmake
Assignee: unassignedb...@nondot.org
Reporter: felix-l...@fefe.de
CC: llvm-bugs@lists.llvm.org
When I run cmake, I get this error message:
-- Could NOT find Z3: Found unsuitable version "4.8.4", but required is at
least "4.7.1" (found /usr/lib64/libz3.so)
CMake Error at CMakeLists.txt:399 (message):
LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.
I'm confused. Is 4.8.4 too new and the message is misleading or is the check
wrong?
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
