diff: library/Mmakefile & termination analysis

[Tyson Dowd]

On 25-Jan-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.5
> 
> library/Mmakefile:
> 	When building the library, enable transitive intermodule
> 	optimization and enable termination analysis, and make sure the
> 	library `.trans_opt' files get installed.  This is needed to
> 	enable users to get the full benefits of transitive intermodule
> 	optimization and termination analysis for programs that make
> 	use of the standard library.  Without this, termination analysis
> 	can't infer termination of "hello world".
> 
>

You should probably also change the code that generated .dep files
so that packages generate the .trans_opt files as well. The
documentation for packages would also need updating.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #