> you need: > > - a previous version of Bazel Why do all these systems seem to need to prove Goedel's theorem? What is wrong with providing a tool that build

> you need: > > - a previous version of Bazel Why do all these systems seem to need to prove Goedel's theorem? What is wrong with providing a tool that builds portably with a simple C compiler?