Re: Mutilated stdlib.h

[Ralf Wildenhues]

* 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