4.3 Consistency-Checking Modes
As described in the previous section, by default
that object files are consistent with one another and are consistent
with any source files it can locate. The following switches control binder
access to sources.
- Require source files to be present. In this mode, the binder must be
able to locate all source files that are referenced, in order to check
their consistency. In normal mode, if a source file cannot be located it
is simply ignored. If you specify this switch, a missing source
file is an error.
- Exclude source files. In this mode, the binder only checks that ALI
files are consistent with one another. Source files are not accessed.
The binder runs faster in this mode, and there is still a guarantee that
the resulting program is self-consistent.
If a source file has been edited since it was last compiled, and you
specify this switch, the binder will not detect that the object
file is out of date with respect to the source file. Note that this is the
mode that is automatically used by
gnatmake because in this
case the checking against sources has already been performed by
gnatmake in the course of compilation (i.e. before binding).