From: briot.emmanuel@gmail.com
Subject: Re: GNAT Modification_Time limitation
Date: Wed, 21 Nov 2018 03:16:10 -0800 (PST)
Date: 2018-11-21T03:16:10-08:00 [thread overview]
Message-ID: <c47258bc-14fe-4974-bd43-03e79604be43@googlegroups.com> (raw)
In-Reply-To: <1cc54d43-c7fb-420d-b7e7-6e447dec3f2d@googlegroups.com>
> The ptrace approach would be much more reliable (though linux-specific), since you would know
> for instance:
>
> - that the compiler searched and did not find foo,ads in /first/dir
> - found and opened /other/dir/foo.ads
>
> so next time there is a build you can check first whether 'foo.ads' now exists in /first/dir. If that file
> now exists, you need to rebuild.
> gprbuild doesn't handle such changes on the system, it only store what it found.
Slightly out of topic (sorry): I found tup (http://gittup.org/tup/index.html) which appears to be doing
exactly what you want to achieve. It monitors file accesses but it uses a fuse filesystem for this, rather
than ptrace.
I had implemented a fuse filesystem in Ada at some point, though I do not have that code anymore. AdaCore was using that to access a database that contains all build+tests results on all possible combinations, if I remember right.
next prev parent reply other threads:[~2018-11-21 11:16 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-11-19 22:56 GNAT Modification_Time limitation Lionel Draghi
2018-11-20 0:47 ` Shark8
2018-11-20 1:33 ` Keith Thompson
2018-11-20 1:33 ` Keith Thompson
2018-11-20 23:32 ` Randy Brukardt
2018-11-21 8:23 ` Dmitry A. Kazakov
2018-11-20 8:08 ` briot.emmanuel
2018-11-20 11:57 ` Lionel Draghi
2018-11-21 7:40 ` briot.emmanuel
2018-11-21 11:16 ` briot.emmanuel [this message]
2018-11-21 19:13 ` Lionel Draghi
2018-11-21 19:02 ` Lionel Draghi
2018-11-21 19:48 ` Simon Wright
2018-11-21 22:14 ` Lionel Draghi
2018-11-20 23:53 ` Randy Brukardt
2018-11-21 7:31 ` briot.emmanuel
2018-11-21 14:38 ` Shark8
2018-11-21 17:32 ` Simon Wright
2018-11-21 17:43 ` briot.emmanuel
2018-11-21 23:34 ` Randy Brukardt
2018-11-22 8:15 ` briot.emmanuel
2018-11-26 23:45 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox