gnatchop recognizes the following switches:
Display Copyright and version, then exit disregarding all other options.
--version was not used, display usage, then exit disregarding
all other options.
gnatchop to operate in compilation mode, in which
configuration pragmas are handled according to strict RM rules. See
previous section for a full description of this mode.
This passes the given
-gnat`xxx' switch to
gnat which is
used to parse the given file. Not all ‘xxx’ options make sense,
but for example, the use of
process a source file that uses Latin-2 coding for identifiers.
gnatchop to generate a brief help summary to the standard
output file showing usage information.
Limit generated file names to the specified number
This is useful if the
resulting set of files is required to be interoperable with systems
which limit the length of file names.
No space is allowed between the
-k and the numeric value. The numeric
value may be omitted in which case a default of
suitable for use
with DOS-like file systems, is used. If no
is present then
there is no limit on the length of file names.
Causes the file modification time stamp of the input file to be
preserved and used for the time stamp of the output file(s). This may be
useful for preserving coherency of time stamps in an environment where
gnatchop is used as part of a standard build process.
Causes output of informational messages indicating the set of generated files to be suppressed. Warnings and error messages are unaffected.
Source_Reference pragmas. Use this switch if the output
files are regarded as temporary and development is to be done in terms
of the original unchopped file. This switch causes
Source_Reference pragmas to be inserted into each of the
generated files to refers back to the original file name and line number.
The result is that all error messages refer back to the original
In addition, the debugging information placed into the object file (when
-g switch of
also refers back to this original file so that tools like profilers and
debuggers will give information in terms of the original unchopped file.
If the original file to be chopped itself contains
pragma referencing a third file, then gnatchop respects
this pragma, and the generated
in the chopped file refer to the original file, with appropriate
line numbers. This is particularly useful when
is used in conjunction with
gnatprep to compile files that
contain preprocessing statements and multiple units.
gnatchop to operate in verbose mode. The version
number and copyright notice are output, as well as exact copies of
the gnat1 commands spawned to obtain the chop control information.
Overwrite existing file names. Normally
gnatchop regards it as a
fatal error if there is already a file with the same name as a
file it would otherwise output, in other words if the files to be
chopped contain duplicated units. This switch bypasses this
check, and causes all but the last instance of such duplicated
units to be skipped.
Specify the path of the GNAT parser to be used. When this switch is used, no attempt is made to add the prefix to the GNAT parser executable.