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

[Peter Wang]

On 2006-09-20, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> 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.

mmc --make enables --use-subdirs by default.  I also tried
--use-grade-subdirs just now, on the example from mercury-users, and it
seems fine.  A patched compiler is at
/home/saturn/wangp/ws_search_all/compiler/mercury_compile if you want to
try things out.

Peter

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