5.3.3 Configuration Files for gnatxref and gnatfind

Configuration files are used by gnatxref and gnatfind to specify the list of source and object directories to consider. They can be specified via the -p switch.

The following lines can be included, in any order in the file:

• *

  `src_dir=DIR'

  [default: "./"]. Specifies a directory where to look for source files. Multiple src_dir lines can be specified and they will be searched in the order they are specified.

• *

  `obj_dir=DIR'

  [default: "./"]. Specifies a directory where to look for object and library files. Multiple obj_dir lines can be specified, and they will be searched in the order they are specified

Any other line will be silently ignored.