-gnatk`n'Activates file name ‘krunching’. n, a decimal integer in the range
1-999, indicates the maximum allowable length of a file name (not
including the .ads or .adb extension). The default is not
to enable file name krunching.
For the source file naming rules, File Naming Rules.