Display Copyright and version, then exit disregarding all other options.
--version was not used, display usage and then exit disregarding
all other options.
Causes both preprocessor lines and the lines deleted by preprocessing to be replaced by blank lines in the output source file, preserving line numbers in the output file.
Causes both preprocessor lines and the lines deleted
by preprocessing to be retained in the output source as comments marked
with the special string
"--! ". This option will result in line numbers
being preserved in the output file.
Causes comments to be scanned. Normally comments are ignored by gnatprep. If this option is specified, then comments are scanned and any $symbol substitutions performed as in program text. This is particularly useful when structured comments are used (e.g., for programs written in a pre-2014 version of the SPARK Ada subset). Note that this switch is not available when doing integrated preprocessing (it would be useless in this context since comments are ignored by the compiler in any case).
Defines a new preprocessing symbol with the specified value. If no value is given
on the command line, then symbol is considered to be
True. This switch
can be used in place of a definition file.
Source_Reference pragma to be generated that
references the original input file, so that error messages will use
the file name of this original file. The use of this switch implies
that preprocessor lines are not to be removed from the file, so its
use will force
-b mode if
has not been specified explicitly.
Note that if the file to be preprocessed contains multiple units, then
it will be necessary to
gnatchop the output file from
gnatprep. If a
Source_Reference pragma is present
in the preprocessed file, it will be respected by
so that the final chopped files will correctly refer to the original
input source file for
Causes a sorted list of symbol names and values to be listed on the standard output file.
Use LF as line terminators when writing files. By default the line terminator of the host (LF under unix, CR/LF under Windows) is used.
Causes undefined symbols to be treated as having the value FALSE in the context
of a preprocessor test. In the absence of this option, an undefined symbol in
#elsif test will be treated as an error.
Verbose mode: generates more output about work done.
Note: if neither
-c is present,
then preprocessor lines and
deleted lines are completely removed from the output, unless -r is
specified, in which case -b is assumed.