[PATCH] D54978: Move the SMT API to LLVM

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