One of the properties of a project is its list of main subprograms (actually
a list of names of source files containing main subprograms, with the file
extension optional. This property is captured in the
whose value is a list of strings. If a project defines the
attribute, then you do not need to identify the main subprogram(s) when
invoking gnatmake (see gnatmake and Project Files).