7.3.6 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. Create a complete set of ALI files (if the program has not been built already)

             $ gnatmake -c main_prog
   

2. Generate a list of Eliminate pragmas in default configuration file gnat.adc in the current directory

             $ gnatelim main_prog >[>] gnat.adc
   

3. Recompile the application

             $ gnatmake -f main_prog