Re: GPS Compiler options

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Simon Wright wrote on comp.lang.ada:
> Ludovic Brenta <ludo...@ludovic-brenta.org> writes:
> > I think gnatmake -m corrects this problem. With this option, gnatmake
> > no longer relies on the timestamps but only on the CRC32 values in
> > the .ali files.
>
> I believe that it first compares the timestamps: if the same, no change,
> but if different, does the ali check.

Exactly. And gnatmake will then do the right thing (i.e. not
recompile) if the timestamps are different only because the clocks of
various machines are out of sync.

--
Ludovic Brenta.