gnatelim has the following command-line interface:
$ gnatelim [options] name
name should be a name of a source file that contains the main subprogram
of a program (partition).
gnatelim has the following switches:
gnatelimoutputs to the standard error stream the number of program units left to be processed. This option turns this trace off.
gnatelimversion information is printed as Ada comments to the standard output stream. Also, in addition to the number of program units left
gnatelimwill output the name of the current unit being processed.
gnatelimnot to look for sources in the current directory.
gnatelimto use specific gcc compiler instead of one available on the path.
gnatelimto use specific gnatmake instead of one available on the path.
gnatelim sends its output to the standard output stream, and all the
tracing and debug information is sent to the standard error stream.
In order to produce a proper GNAT configuration file
gnat.adc, redirection must be used:
$ gnatelim main_prog.adb > gnat.adc
$ gnatelim main_prog.adb >> gnat.adc
in order to append the
gnatelim output to the existing contents of