From 9ea5a65f3ec5f626d4568116bb1acad44e90edea Mon Sep 17 00:00:00 2001 From: William Tan Date: Mon, 8 Aug 2022 10:39:47 -0400 Subject: [PATCH] Fix typo when parsing z3 version from headers --- cmake/modules/FindZ3.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmake/modules/FindZ3.cmake b/cmake/modules/FindZ3.cmake index 32f6f416..b02b3a91 100644 --- a/cmake/modules/FindZ3.cmake +++ b/cmake/modules/FindZ3.cmake @@ -81,7 +81,7 @@ if(NOT Z3_VERSION_STRING AND (CMAKE_CROSSCOMPILING AND file(STRINGS "${Z3_INCLUDE_DIR}/z3_version.h" z3_version_str REGEX "^#define[\t ]+Z3_BUILD_NUMBER[\t ]+.*") - string(REGEX REPLACE "^.*Z3_BUILD_VERSION[\t ]+([0-9]).*$" "\\1" + string(REGEX REPLACE "^.*Z3_BUILD_NUMBER[\t ]+([0-9]).*$" "\\1" Z3_BUILD "${z3_version_str}") set(Z3_VERSION_STRING ${Z3_MAJOR}.${Z3_MINOR}.${Z3_BUILD})