gnatchop recognizes the following switches:
Limit generated file names to the specified number characters. This is useful if the resulting set of files is required to be inter-operable with systems which limit the length of file names.
Generate 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 unchopped file.
In addition, the debugging information placed into the object file (when the -g switch of gcc or gnatmake is specified) also refers back to this original file so that tools like profilers and debuggers will give information in terms of the original unchopped file.
Write a compilation script to stdout containing gcc commands to compile the generated files.
Overwrite existing file names. Normally gnatchop regards it as a fatal error situation if there is already a file with the same name as a file it would otherwise output. This switch bypasses this check, and any such existing files will be silently overwritten.