---
name: "gnatf"
section: "1"
platform: "linux"
package: "gnat"
version: "3.10p-3"
release: "Debian 2.1 (Slink)"
platforms: ["linux"]
url: "https://new.carta.tech/gnatf"
---

# gnatf(1)

gnat code validator

## 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)](/gcc/1.md), [**gnatbind**(1)](/gnatbind/1.md), [**gnatf**(1)](/gnatf/1.md), [**gnatlink**(1)](/gnatlink/1.md), [**gnatk8**(1)](/gnatk8/1.md), [**gnatmake**(1)](/gnatmake/1.md), [**gnatchp**(1)](/gnatchp/1.md), [**gnatchop**(1)](/gnatchop/1.md), [**gnatbl**(1)](/gnatbl/1.md),

## AUTHOR

Mark Eichin \<eichin@kitten.gen.ma.us\>