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

[Julien Fischer]

On Tue, 19 Sep 2006, Peter Wang wrote:

> As proposed on mercury-users.  Suggestions for the option name?
>
> It doesn't add --runtime-library-directory as I'm not sure that's a good
> idea.
>
>
> Estimated hours taken: 1
> Branches: main
>
> compiler/options.m:
> doc/user_guide.texi:
> 	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'm not sure that this does what was being discussed on mercury users.
The main problem there was that if --use-subdirs is enabled then some
of the files, particularly the .int files, are spread out under the
Mercury directory.  The above doesn't look as though it will be sufficient
to handle that situation.

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
--------------------------------------------------------------------------