[PATCH] D54978: Move the SMT API to LLVM

Mikhail Ramalho via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 18 13:14:25 PDT 2019


mikhail.ramalho added a comment.

Hi all,

I just updated the CMake script to get the version by parsing the header, however, I just found a potential issue in the previous approach: if we have incompatible libs in the path (32-bits libs when compiling in 64-bit mode) the CMake config will succeed but the compilation will fail.

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.

Let me know your thoughts.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978





More information about the cfe-commits mailing list