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

Artem Dinaburg via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue May 19 13:44:35 PDT 2020


ArtemDinaburg added a comment.

I've actually just run into another issue, triggered only in Docker-based builds, where the source generated from `file(WRITE ...)` that is used to emit the Z3 version is not visible to the `try_run` command.

I think that `file_write` is not the proper way to specify a static source file at configuration time in CMake. I am not sure of the best place to put such a file... `llvm/cmake/extras` perhaps?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80227





More information about the llvm-commits mailing list