c++ - 再次在构建系统上。让我们谈谈完全正确性

Question

最近我尝试了 tup，它的正确性和速度给我留下了非常深刻的印象，而且监视文件系统的事实使该工具非常强大。这也很容易理解。它永远不会出错，当它出错时，它会告诉我。我想找一个更主流、跨平台友好的工具，只要满足下面的要求。

我的问题是：

1. 您是否知道任何具有以下功能的替代构建工具：

   • O(1) 重建。
   • 完全正确的依赖跟踪。
   • （可选）利用文件系统访问。

编辑：这不是一个主观的“向我推荐一个工具”问题，它是给我满足这些要求的工具的名称，因为我想进一步研究它们在我的用例中的表现。