Page MenuHomePhabricator

[NFC] Fix Z3 version detection regexp in llvm/cmake/modules/FindZ3.cmake
ClosedPublic

Authored by steakhal on Mar 26 2020, 4:29 AM.

Details

Summary

We use the major.minor.build version format in this file, except when we try to parse the result of the test binary.
In that regular expression, we expect the major.minor.build.rev format, which is never fulfilled.

Diff Detail

Event Timeline

steakhal created this revision.Mar 26 2020, 4:29 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 26 2020, 4:29 AM
NoQ accepted this revision.Apr 6 2020, 11:58 AM

I've no idea what any of this does but whatever works, thanks!

This revision is now accepted and ready to land.Apr 6 2020, 11:58 AM
This revision was automatically updated to reflect the committed changes.