[PATCH] D54978: Move the SMT API to LLVM
Mikhail Ramalho via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 13 15:24:10 PST 2019
mikhail.ramalho added a comment.
I just sent the first prototype of the solution. All the magic happens inside the `CHECK_CXX_SOURCE_RUNS` call.
There is still one thing to do: currently, the program is hard-coded to check for version 4.7.1. We should either get it from the `find_package` call or remove the minimum version from the `find_package` call and rely only on the program. I'm not a big fan of the latter.
CHANGES SINCE LAST ACTION
More information about the llvm-commits