ddcc added a comment. In D54978#1396403 <https://reviews.llvm.org/D54978#1396403>, @brzycki wrote:
> That is almost exactly what I was thinking about this morning. I'd prefer the > following since it's more robust for older versions: The old `version.h` header isn't externally exposed, only the newer `z3_version.h` header starting with version 4.8.1. I built a copy of 4.7.1 from source, and I don't see it, so unfortunately I think the second check for `version.h` is superfluous. Instead, I think it'd be ok to still query the executable as the primary, then fallback to this header as the secondary? Repository: rC Clang 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
