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