[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by GNAT Mailserver on May, 10 2012 using texi2html