gnatf1
Gnat code validator
Usage
gnatf [-x
[1-6]]
files
Overview
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.
Releases
Unchanged in 3 releases since Debian 1.3 (Bo).