We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6e86b4b commit a1df5ddCopy full SHA for a1df5dd
llvm/cmake/modules/FindZ3.cmake
@@ -83,7 +83,7 @@ endif()
83
84
# If the dynamic check fails, we might be cross compiling: if that's the case,
85
# check the version in the headers, otherwise, fail with a message
86
-if(NOT Z3_VERSION_STRING AND (
+if(NOT Z3_VERSION_STRING AND (CMAKE_CROSSCOMPILING AND
87
Z3_INCLUDE_DIR AND
88
EXISTS "${Z3_INCLUDE_DIR}/z3_version.h"))
89
# TODO: print message warning that we couldn't find a compatible lib?
0 commit comments