GNATcheck Reference Manual: Project-Wide Checks

[ < ] | [ > ] |  | [ << ] | [ 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 November, 5 2011 using texi2html