Oct 13 2018
Sep 19 2018
Final patch ready to be applied
Sep 13 2018
Aug 23 2018
Improved and changed the proposed patch accordingly to the comment.
- Remove all CMake checks
- Define the headers we need in the analyzer
- When initializing Z3 objects (done when Z3-visitor or Z3-solver is enabled), we would try to open the dylib, check it's version, and fail if the dylib is not found or the version does not match.
This is less clean, but would give us a humongous advantage of just being able to drop Z3 dylib into a resource directory (or modifying the Clang rpath) in order to enable Z3,
with no recompilation needed.
This would be a huge benefit for those who don't recompile the compiler regularly.