[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