| Issue |
57292
|
| Summary |
[Buildsystem] FindZ3.cmake is not handling extreme cases.
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
Naville
|
``llvm/cmake/modules/FindZ3.cmake`` 's try_run is broken
``if(Z3_COMPILED)`` is not checking for run success, which in my case on Windows, might fail due to program not able to find Z3's linked MSVC runtime or whatsoever, which results in the system error message gets used to parse Z3 version string
My patch is to change that line to ``if(Z3_COMPILED AND NOT (Z3_RETURNCODE STREQUAL FAILED_TO_RUN))``
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
