This chapter presents several topics related to program performance. It first describes some of the tradeoffs that need to be considered and some of the techniques for making your program run faster. It then documents the gnatelim tool and unused subprogram/data elimination feature, which can reduce the size of program executables.
Note: to invoke gnatelim with a project file, use the gnat
driver (see The GNAT Driver and Project Files).