[m-rev.] for review: all --search-all option

[Julien Fischer]

On Mon, 25 Sep 2006, Peter Wang wrote:

> On 2006-09-20, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> On Wed, 20 Sep 2006, Peter Wang wrote:
>>
>>> On 2006-09-19, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
>>>> On 19-Sep-2006, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
>>>>> 	Add `--search-all <directory>' option which is
>>>>>        equivalent to adding <directory> using all of the
>>>>>        `--search-directory', `--library-directory',
>>>>>        `--init-file-directory' and `--c-include-directory' options.
>>>>
>>>> I think this kind of option is a good idea, but I don't think the name
>>>> --search-all conveys its meaning. Something like
>>>> --search-dir-for-all-files
>>>> would be more accurate.
>>>
>>> How about --search-all-files-directory, with the usual -dir alias, to
>>> follow the existing pattern?
>>
>> How about --search-lib-files-{directory, dir}?  I think the option
>> name should mention libraries - that was the point of it.
>
> I went with --search-library-files-directory and --search-lib-files-dir.
>
> It also adds --intermod-directory <dir> now.
>

BTW, it may be worth adding something to the user's guide that explains
what all this is used for and why it sometimes useful/necessary.

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