make: Integrating make

1 
1 13 Integrating GNU 'make'
1 *************************
1 
1 GNU 'make' is often one component in a larger system of tools, including
1 integrated development environments, compiler toolchains, and others.
1 The role of 'make' is to start commands and determine whether they
1 succeeded or not: no special integration is needed to accomplish that.
1 However, sometimes it is convenient to bind 'make' more tightly with
1 other parts of the system, both higher-level (tools that invoke 'make')
1 and lower-level (tools that 'make' invokes).
1 

Menu