This section covers several topics related to gnatmake and
project files: defining ^switches^switches^ for gnatmake
and for the tools that it invokes; specifying configuration pragmas;
the use of the Main attribute; building and rebuilding library project
files.