Next: Correcting the List of Eliminate Pragmas, Previous: Running gnatelim, Up: Reducing Size of Ada Executables with gnatelim
If some program uses a precompiled Ada library, it can be processed by
gnatelim in a usual way. gnatelim will newer generate an
Eliminate pragma for a subprogram if the body of this subprogram has not
been analysed, this is a typical case for subprograms from precompiled
libraries. Switch -wq may be used to suppress
warnings about missing source files and non-analyzed subprogram bodies
that can be generated when processing precompiled Ada libraries.