GNU make is a tool that controls the generation of executables and other
non-source files from source files.  Its purpose is the same as that
of the utility make(1).

WWW: https://www.gnu.org/software/make/