[m-rev.] for review: auto detection of library grades

[Julien Fischer]

On Tue, 3 Sep 2013, Peter Wang wrote:

>>
>> Automatic detection of library grades is not supported with mmake and I don't
>> have any plans to support it.  mmake will just use the set of grades with
>> which the installation was configured.
>>
>> compiler/options.m:
>>  	Add a new option `--auto-detect-libgrades' that can be used to control
>>  	the new feature.  For now, this is a developer-only option and is
>>  	disabled by default -- I will document it properly when it is enabled
>>  	by default.
>
> I assume it's intended to be enabled for mmc --make in future.

Yes.  (And also for compilation of single module programs with the
compiler invoked as `mmc'.)

> Minor thing, but I think the "auto"- and "Auto"- prefixes don't add
> anything.

Ok, I will delete them.

Cheers,
Julien.