[PATCH] D80227: Fix FindZ3.cmake to work with static Z3 libraries

[Tomasz Kamiński via Phabricator via llvm-commits]

tomasz-kaminski-sonarsource added a comment.

Other (unrelated issue) in the file: The cross compilation version of section mode, refers to `BUILD_VERSION` instead of `BUILD_NUMBER`:

     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}")


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D80227/new/

https://reviews.llvm.org/D80227