6. Project-Wide Checks
In order to perform checks on all units of a given project, you can use
the GNAT driver along with the `-P' option:
| gnat check -Pproj -rules -from=my_rules
|
If the project proj
depends upon other projects, you can perform
checks on the project closure using the `-U' option:
| gnat check -Pproj -U -rules -from=my_rules
|
Finally, if not all the units are relevant to a particular main
program in the project closure, you can perform checks for the set
of units needed to create a given main program (unit closure) using
the `-U' option followed by the name of the main unit:
| gnat check -Pproj -U main -rules -from=my_rules
|
This document was generated
by GNAT Mailserver on April, 16 2013
using texi2html