Next: Summary of the gnatelim Usage Cycle, Previous: Correcting the List of Eliminate Pragmas, Up: Reducing the Size of Ada Executables with gnatelim
In order to get a smaller executable for your program you now have to
recompile the program completely with the new gnat.adc file
created by gnatelim in your current directory:
$ gnatmake -f Main_Prog
(you will need -f option for gnatmake to
recompile everything
with the set of pragmas Eliminate you have obtained with
gnatelim).
Be aware that the set of Eliminate pragmas is specific to each
program. It is not recommended to merge sets of Eliminate
pragmas created for different programs in one gnat.adc file.