One of the specifiable properties of a project is a list of files that contain
main subprograms. This property is captured in the
whose value is a list of strings. If a project defines the
attribute, it is not necessary to identify the main subprogram(s) when
invoking gnatmake (see gnatmake and Project Files).