[PATCH] D54978: Move the SMT API to LLVM

[Nico Weber via Phabricator via cfe-commits]

thakis added a comment.

In D54978#1389260 <https://reviews.llvm.org/D54978#1389260>, @shakeel.mahate wrote:

> The ninja build also fails


That's not the ninja build, that's the GN build. If you use that, please read llvm/utils/gn/README.rst. If something like this happens, it's on you (and other people using then gn build) to fix this. If you're not comfortable with that, please don't use the GN build. (I just merged this to the GN build in r353518, so syncing will make things go again for you.)


Repository:
  rC Clang

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

https://reviews.llvm.org/D54978