www.delorie.com/gnu/docs/gcc/gnat_ug_209.html

search

	Buy the book!

Untitled Document

20.1 Running gnatstub

gnatstub has the command-line interface of the form

$ gnatstub [switches] filename [directory]

where

filename

is the name of the source file that contains a library unit declaration for which a body must be created. This name should follow the GNAT file name conventions. No crunching is allowed for this file name. The file name may contain the path information.

directory

indicates the directory to place a body stub (default is the current directory)

switches

is an optional sequence of switches as described in the next section