[m-dev.] filtering library install grades on the command line

[Julien Fischer]

Currently with mmc --make there does not seem to be anyway to 
build a library and then install it in, for example, all the trailing
grades that are installed on a particular system.

I propose to add two options:

 	--libgrades-include <component>
 	--libgrades-omit    <component>

that would allow the set of library install grades to be filtered by
grade component, e.g. specifying `--libgrades-include = tr', would
filter the current list of install library grades to exclude all those
that do not contain a .tr component.  (This filtering would take place
after all --libgrade options have been processed.)

Multiple --libgrades-{include,omit} options would accumculate.

Comments.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------