UPDATING 20110730

[Jos Backus]

On Aug 1, 2011 7:10 AM, "Michel Talon" <talon at lpthe.jussieu.fr> wrote:
[snip]
> This being said if an upgrade tool needs to compute (partially) the INDEX,
> most of the time is spent in running  make -V  <variables> in each port,
> because make has to read and interpret enormous files. I don't see any way
to
> cut on that, or one should need to develop a special purpose version of
 make
> to evaluate these variables,  perhaps which should keep persistent
> computations between ports (but this is dangerous).

Or don't store lots of data in files in Makefile format. The make language
is a poor data storage format that doesn't allow access to that data from
other tools easily or efficiently. I'm struggling with a similar problem at
$WORK.

Jos