Re: stripping makefiles

[Alexander Malmberg]

Nicola Pero wrote:
[snip]
> So my plan would be to make stripped makefiles the default, 

If the performance gain is worth the trouble, this is sensible, but a 5%
reduction of make overhead doesn't seem like a lot. Have you tried to
profile make to see where it's spending its time?

Stripping makefiles also seems like a bit of a hack. If parsing is a
significant bottleneck, maybe "pre-parsed makefiles" would be in order
(something similar to pre-compiled headers).

> but still
> include the whole unstripped makefiles in a separate directory (say,
> Library/Makefiles/Source).

This makes no sense. The source is in the source directories, and that's
where you should look if you want to read or change it. When installing,
only the things that are required for a package to work should be
installed. Thus, source should generally not be installed, and
definitely not just to make it available.

(The exceptions occur when the source is required, eg. headers, or
(previously) the makefiles.)

- Alexander Malmberg