* Bruno Haible wrote on Sat, Apr 02, 2011 at 06:42:46PM CEST:
> Ralf Wildenhues wrote:
> > Ideally, those rebuild rules
> > work lazily for headers which are included often (i.e., if the contents
> > don't change, the file isn't updated).
>
> For files that are rebuilt outside of Makefile rules, that works. For files
> that are under Makefile control, this leads to situation where after a
> complete "make", another "make" creates temporary files just to see that they
> haven't changed.
There are techniques to do lazy updates in makefiles. They involve
stamp files and/or recursive make invocations. Not pretty, and more
complex than the rules gnulib currently produces, but they work, and
they do not continuously need to recreate temporary files.
I agree that we should document the respective techniques and their
exact semantics and portability issues better in either of
auto{conf,make}.texi.
> So the subsequent "make" and "make check" and "make install"
> are slowed down, and "make install" does not work when run under a different
> but non-root user id.
This should not be an issue with above.
Cheers,
Ralf
