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

[Peter Wang]

On 2006-09-20, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> Peter Wang, Wednesday, 20 September 2006:
> > 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.
> 
> Is there any remaining argument against not having --use-grade-subdirs
> as the default?

I don't know of any problems with --use-grade-subdirs itself.

It doesn't work so well on the compiler because the runtime and boehm_gc
directories don't understand grade subdirs yet.  You have to run mmake
clean in those directories when changing grades.  Some of the support
scripts need to be told about grade subdirs as well.

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