3.10.2.2 Using gnatprep

To call gnatprep use:

$ gnatprep [ switches ] infile outfile [ deffile ]

where