ninja: ninja: Ninja is a small build system with a focus on speed. It differs from ninja: other build systems in two major respects: it is designed to have its ninja: input files generated by a higher-level build system, and it is ninja: designed to run builds as fast as possible. ninja: ninja: ninja home: https://ninja-build.org/ ninja: ninja: ninja: