[PATCH] D54391: Fix compatibility with z3-4.8.1

Mikhail Ramalho via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Nov 14 06:32:14 PST 2018

Previous message: r346866 - Reverted D52835 to fix review comments
Next message: [PATCH] D54325: [AST] Pack CXXBoolLiteralExpr, CXXNullPtrLiteralExpr and CXXThisExpr
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

mikhail.ramalho added a comment.

Since we're supporting version 4.8.1 now, the cmake file should be changed to "minimum" instead of "exact".


Repository:
  rL LLVM

https://reviews.llvm.org/D54391

Previous message: r346866 - Reverted D52835 to fix review comments
Next message: [PATCH] D54325: [AST] Pack CXXBoolLiteralExpr, CXXNullPtrLiteralExpr and CXXThisExpr
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list