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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
