3.2.11 File Naming Control

^-gnatk^/FILE_NAME_MAX_LENGTH=^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, See File Naming Rules.