7.2.2 Running gnatelim

name should be a name of a source file that contains the main subprogram
of a program (partition).

gnatelim has the following switches:

-q

Quiet mode: by default gnatelim outputs to the standard error
stream the number of program units left to be processed. This option turns
this trace off.

-v

Verbose mode: gnatelim version information is printed as Ada
comments to the standard output stream. Also, in addition to the number of
program units left gnatelim will output the name of the current unit
being processed.

-a

Also look for subprograms from the GNAT run time that can be eliminated. Note
that when gnat.adc is produced using this switch, the entire program
must be recompiled with switch -a to gnatmake.

-Idir

When looking for source files also look in directory dir. Specifying
-I- instructs gnatelim not to look for
sources in the current directory.

-bbind_file

Specifies bind_file as the bind file to process. If not set, the name
of the bind file is computed from the full expanded Ada name
of a main subprogram.

-Cconfig_file

Specifies a file config_file that contains configuration pragmas. The
file must be specified with full path.

--GCC=compiler_name

Instructs gnatelim to use specific gcc compiler instead of one
available on the path.

--GNATMAKE=gnatmake_name

Instructs gnatelim to use specific gnatmake instead of one
available on the path.

-dx

Activate internal debugging switches. x is a letter or digit, or
string of letters or digits, which specifies the type of debugging
mode desired. Normally these are used only for internal development
or system debugging purposes. You can find full documentation for these
switches in the spec of the Gnatelim unit in the compiler
source file gnatelim.ads.

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

or

$ gnatelim main_prog.adb >> gnat.adc

in order to append the gnatelim output to the existing contents of
gnat.adc.