Previous: Output File Control, Up: Switches for gnatpp

13.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 textual file containing file names separated by spaces or line breaks. You can use this switch more then once in the same call to gnatpp. You also can combine this switch with 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.