NAME
gnatf - gnat code validator
SYNOPSIS
gnatf [-x[1-6]] files
DESCRIPTION
The GNAT system provides a standalone tool, gnatf, which allows for syntax and semantics checking without any code generation. This is somewhat faster than using gnatgcc -gnatc.
For specific information on gnat, the GNU NYU Ada Translator, see /usr/doc/gnat/gnatdoc1.tex /usr/doc/gnat/gnatinfo.txt and the other files in that directory.
SEE ALSO
gcc(1), gnatbind(1), gnatf(1), gnatlink(1), gnatk8(1), gnatmake(1), gnatchp(1), gnatchop(1), gnatbl(1),
AUTHOR
Mark Eichin <[email protected]>