[m-dev.] for review: use available opt files

[Fergus Henderson]

On 25-Jun-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 2.5
> 
> Add options --use-opt-files and --use-trans-opt-files, which cause
> the compiler to use any `.opt' or `.trans_opt' files which are available
> when the dependencies are made, but not make any more `.opt' files.
> This is useful for using just the `.opt' files for the library
> without building them for the compiler.

Hmm, for that to work, I think it means you would need to do
an `mmake' in the library directory before doing an `mmake depend'
in the compiler directory -- is that correct?

If so, then the top-level Mmakefile and the tools/bootcheck script
might need modification to work properly with --use-opt-files.

> compiler/modules.m
> 	When searching for available `.opt' files, don't look for 
> 	`.m' files which could be used to build the `.opt' files
> 	is --use-opt-files or --use-trans-opt-files is set.

s/is/if/

> compiler/handle_options.m
> compiler/options.m
> doc/user_guide.texi
> 	Handle and document the new options.

ObPedantry: the standard layout for log messages has a ":" after each
file name.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.