7.2.5 Summary of the gnatelim Usage Cycle

Here is a quick summary of the steps to be taken in order to reduce the size of your executables with gnatelim. You may use other GNAT options to control the optimization level, to produce the debugging information, to set search path, etc.

1. Produce a bind file

             $ gnatmake -c main_prog
             $ gnatbind main_prog
        

2. Generate a list of Eliminate pragmas

             $ gnatelim main_prog >[>] gnat.adc
        

3. Recompile the application

             $ gnatmake -f main_prog