mikhail.ramalho added a comment. In D54978#1431788 <https://reviews.llvm.org/D54978#1431788>, @ddcc wrote:
> The only relevant commit that I can find is > https://github.com/Z3Prover/z3/commit/2cb4223979cc94e2ebc4e49a9e83adbdcd2b6979 > , but it first landed in z3 4.6.0. It looks like it's specific to CMake > though, so is it different if you use the python build? I haven't tried the > CMake build. Indeed, it seems to be cmake specific (even the commit message says that the python scripts were not changed). 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
