PATCH to toplevel Makefile.tpl

[Raja R Harinath]

Hi,

Alexandre Oliva <aoliva@redhat.com> writes:

> On Feb 28, 2003, Raja R Harinath <harinath@cs.umn.edu> wrote:
>
>> I think it may be cleaner to move that from the toplevel configure.in
>> to Makefile.tpl.  Then, it could invoke the subdir configure as
>
> This means we don't get config.cache sharing for configure re-runs
> triggered by say `config.status: configure' dependencies in
> sub-directories.  I'm not sure this matters much, but I thought I'd
> point it out.

One can write the Makefile.tpl rules to keep a local copy of the
config.cache after it updated the global one (use 'install-sh -c'
rather than 'mv').  That should handle most of the "sharing" issues.

The local cache would already have results from the previous
configure.  So extra unshared work would happen only if you introduced
a new common check in multiple subdirs.  In that scenario, it is
preferable to run 'make' at the toplevel, anyway.

One remaining case: losing some of the results of previous
'config.status --recheck' when you run 'make' at the toplevel.  You
can write a script to merge multiple 'config.cache's.  But, that's 
too much work for too little gain.

- Hari
-- 
Raja R Harinath ------------------------------ harinath@cs.umn.edu