3.3.5.1 About gnatkr

The default file naming rule in GNAT is that the file name must be derived from the unit name. The exact default rule is as follows:

• Take the unit name and replace all dots by hyphens.
• If such a replacement occurs in the second character position of a name, and the first character is a, g, s, or i, then replace the dot by the character ~ (tilde) instead of a minus.

  The reason for this exception is to avoid clashes with the standard names for children of System, Ada, Interfaces, and GNAT, which use the prefixes s-, a-, i-, and g-, respectively.

The -gnatk`nn' switch of the compiler activates a 'krunching' circuit that limits file names to nn characters (where nn is a decimal integer).

The gnatkr utility can be used to determine the krunched name for a given file, when krunched to a specified maximum length.