comp.lang.ada
 help / color / mirror / Atom feed
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.


  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