[PATCH] D54978: Move the SMT API to LLVM

Dominic Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Mar 23 00:52:07 PDT 2019


ddcc added a comment.

In D54978#1433646 <https://reviews.llvm.org/D54978#1433646>, @mikhail.ramalho wrote:

> To fix that, I changed the script slightly: we first try to dinamically get the Z3's version, if we fail and we are cross compiling, then we try to parse the headers. Right now, it should just work but I'd like to add a message to warn the user that we found the lib but we don't know if it'll link.


Thanks, sounds good to me.

In D54978#1394613 <https://reviews.llvm.org/D54978#1394613>, @thakis wrote:

> mikhail.ramalho: My guess is that we need to pass on LLVM_OPTIMIZED_TABLEGEN to the child cmake invocation in http://llvm-cs.pcc.me.uk/cmake/modules/CrossCompile.cmake#50 (like we pass on a few other variables) to fix this.


Do you know if this configuration builds fine now?


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

https://reviews.llvm.org/D54978





More information about the cfe-commits mailing list