brzycki added a comment. In D54978#1395476 <https://reviews.llvm.org/D54978#1395476>, @mikhail.ramalho wrote:
> I'm wondering if we can remove the binary requirement all together: is it > possible to run a small program that would return EXIT_SUCCESS if the library > is the correct version? Hi @mikhail.ramalho, I don't think this is feasible unfortunately. If we're using a cross-compiler the emitted binary won't be native to the platform. In other words, you cannot test for Z3 as a run-time property. I looked at the Z3 source and they do have a `z3_version.h` file now and was added in version 4.4.2.0. You may be able to use the header directly, but I'm not sure how `find_package()` parses for library versions and if this is useful or not. The generated header is named `src/util/version.h` in this initial commit: https://github.com/Z3Prover/z3/commit/251527603df01904f70ed884f8695fedab5caed9 and was renamed last September to `src/util/z3_version.h` in this commit: https://github.com/Z3Prover/z3/commit/0c4754d94bdfaf07077120f5cbff780d8fb0971d 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
