Previous: Output File Control, Up: Switches for gnatpp

14.1.8 Other gnatpp Switches

The additional gnatpp switches are defined in this subsection.

-files filename
Take the argument source files from the specified file. This file should be an ordinary text file containing file names separated by spaces or line breaks. You can use this switch more than once in the same call to gnatpp. You also can combine this switch with an explicit list of files.
Verbose mode; gnatpp generates version information and then a trace of the actions it takes to produce or obtain the ASIS tree.
Warning mode; gnatpp generates a warning whenever it cannot provide a required layout in the result source.