make
UtilityThis chapter offers some examples of makefiles that solve specific problems. It does not explain how to write a makefile (see GNU make), nor does it try to replace the gnatmake utility (see The GNAT Make Program gnatmake).
All the examples in this section are specific to the GNU version of
make. Although make is a standard utility, and the basic language
is the same, these examples use some advanced features found only in
GNU make
.