gnatstub has the command-line interface of the form
$ gnatstub [switches] filename [directory]
- 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.
- indicates the directory to place a body stub (default is the
- is an optional sequence of switches as described in the next section