delcypher added inline comments.
================ Comment at: CMakeLists.txt:188 +find_package(Z3 4.5) + ---------------- delcypher wrote: > @ddcc It is of course up to you but I recently [[ added support for using > `libz3` directly | added support for using `libz3` directly ]] from CMake. > via it's own CMake config package. You only get this if Z3 was built with > CMake so you might not want this restriction. This feature has only just > landed though and might not be sufficient for your needs. If you take a look > at Z3's example projects they are now built with this mechanism when building > with CMake. > > If you are interested I'd be more than happy to work with you to get this > feature ready for your needs in upstream Z3 so you can use it here. Sorry that URL should be https://github.com/Z3Prover/z3/pull/926 https://reviews.llvm.org/D28952 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
