Re: GNAT corrupted builds with below second changes

["J-P. Rosen" <rosen@adalog.fr>]

Le 22/04/2018 à 09:31, Simon Wright a écrit :
> "Alejandro R. Mosteo" <alejandro@mosteo.com> writes:
> 
>> I've observed that gprbuild seems to not detect that a file is changed
>> if less than a second has elapsed. I will guess here that the
>> timestamp being used has second precision.
> 
> Looking at a .ali file, the dependencies are recorded in lines like
> 
> D ada.ads               20170106103348 76789da1 ada%s
> 
> where 20170106103348 is the date/time to 1 second precision, and
> 76789da1 is a checksum of the file's contents. I'd imagine that gprbuild
> looks at the timestamp first; not sure about the checksum, but certainly
> needed for -m processing (only recompile if semantically modified).
> 
Yes, it's a checksum that ignores casing, comments, blank lines,
indentation and the like.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr