diff: library/Mmakefile & termination analysis
Tyson Dowd
trd at cs.mu.OZ.AU
Mon Jan 26 21:40:41 AEDT 1998
On 25-Jan-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
>
> Requiring packages to always be compiled with `--trans-intermod-opt'
> would be overkill, I think. It is "distributed cost" -- people who
> are not using termination analysis should not have to pay
> excessive compilation times when building packages simply because
> someone *might* use termination analysis. If it were just a matter
> of creating the `.trans_opt' files, that would be a reasonable cost.
> But compiling the whole package with full `--trans-intermod-opt' enabled
> is too high a cost, IMHO. The default should be to not pay this cost;
> package builders can explicitly decide to pay it if their users demand it.
> I'd rather inconvenience those using termination analysis than those
> not using it.
>
> An alternative would be to store trans-opt dependency information some
> where other than in `.d', e.g. in `.td' files. But that would be
> YET ANOTHER FILE, which we should probably not do until we have
> reorganized things so that all these little files are stored in
> subdirectories.
Yes, this compromise seems best at the moment.
The changes seem fine.
--
Tyson Dowd #
# Surreal humour isn't eveyone's cup of
trd at cs.mu.oz.au # fur.
http://www.cs.mu.oz.au/~trd #
More information about the developers
mailing list