diff options
Diffstat (limited to 'lib/cmake/llvm/FindZ3.cmake')
| -rw-r--r-- | lib/cmake/llvm/FindZ3.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cmake/llvm/FindZ3.cmake b/lib/cmake/llvm/FindZ3.cmake index 0429427..95dd377 100644 --- a/lib/cmake/llvm/FindZ3.cmake +++ b/lib/cmake/llvm/FindZ3.cmake @@ -27,7 +27,7 @@ function(check_z3_version z3_include z3_lib) ) if(Z3_COMPILED) - string(REGEX REPLACE "([0-9]*\\.[0-9]*\\.[0-9]*\\.[0-9]*)" "\\1" + string(REGEX REPLACE "([0-9]*\\.[0-9]*\\.[0-9]*)" "\\1" z3_version "${SRC_OUTPUT}") set(Z3_VERSION_STRING ${z3_version} PARENT_SCOPE) endif() |