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:

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.