From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT corrupted builds with below second changes
Date: Sun, 22 Apr 2018 08:31:04 +0100
Date: 2018-04-22T08:31:04+01:00 [thread overview]
Message-ID: <lya7tvy9xj.fsf@pushface.org> (raw)
In-Reply-To: p8atvh$74r$1@dont-email.me
"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).
next prev parent reply other threads:[~2018-04-22 7:31 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-14 10:36 GNAT corrupted builds with below second changes Alejandro R. Mosteo
2018-03-14 22:56 ` Randy Brukardt
2018-03-15 13:24 ` Alejandro R. Mosteo
2018-04-22 5:53 ` David Thompson
2018-03-15 18:52 ` Shark8
2018-03-15 19:59 ` Bojan Bozovic
2018-03-16 3:27 ` Shark8
2018-03-16 4:29 ` Bojan Bozovic
2018-03-16 5:37 ` J-P. Rosen
2018-03-18 6:09 ` Robert I. Eachus
2018-03-16 8:42 ` Dmitry A. Kazakov
2018-03-18 5:21 ` Robert I. Eachus
2018-03-15 21:03 ` Jeffrey R. Carter
2018-03-16 2:51 ` Shark8
2018-04-22 7:31 ` Simon Wright [this message]
2018-04-22 14:04 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox