3.7 The Ada Library Information Files
Each compilation actually generates two output files. The first of these
is the normal object file that has a
.o extension. The second is a
text file containing full dependency information. It has the same
name as the source file, but an
This file is known as the Ada Library Information (
The following information is contained in the
- Version information (indicates which version of GNAT was used to compile
the unit(s) in question)
- Main program information (including priority and time slice settings,
as well as the wide character encoding used during compilation).
- List of arguments used in the `gcc' command for the compilation
- Attributes of the unit, including configuration pragmas used, an indication
of whether the compilation was successful, exception model used etc.
- A list of relevant restrictions applying to the unit (used for consistency)
- Categorization information (e.g., use of pragma Pure).
- Information on all `with'ed units, including presence of
Elaborate` or Elaborate_All pragmas.
- Information from any Linker_Options pragmas used in the unit
- Information on the use of Body_Version or Version
attributes in the unit.
- Dependency information. This is a list of files, together with
time stamp and checksum information. These are files on which
the unit depends in the sense that recompilation is required
if any of these units are modified.
- Cross-reference data. Contains information on all entities referenced
in the unit. Used by tools like gnatxref and gnatfind to
provide cross-reference information.
For a full detailed description of the format of the
see the source of the body of unit Lib.Writ, contained in file
lib-writ.adb in the GNAT compiler sources.