projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91e0423) | patch
Fix Z3 version detection regexp
authorMikhail Korolev <stilriv@gmail.com>
Fri, 23 Sep 2022 18:46:32 +0000 (15:46 -0300)
committerMikhail R. Gadelha <mikhail@igalia.com>
Fri, 23 Sep 2022 19:24:51 +0000 (16:24 -0300)
commit74f0b058f078ea9663aa11cc3445f4b614ca01c7
treee0dbd9c9ca7066970fcf4cd5eaa6b0205e567bf9tree | snapshot
parent91e0423595a498281adb28a85e095093f3b47ef4commit | diff
Fix Z3 version detection regexp

regexp for try_run path expects '0 or more' digits which is incorrect because it should be 'one or more', regexp for header parsing expects 'exactly one' digit which is incorrect with current Z3 version (4.11.2)

Reviewed By: mikhail.ramalho

Differential Revision: https://reviews.llvm.org/D134261
llvm/cmake/modules/FindZ3.cmake diff | blob | history
Domain: System / Toolchain;