[m-rev.] for review: add --order-make-by-timestamp option

[Julien Fischer]

On Thu, 28 Jan 2010, Peter Wang wrote:

> Branches: main
>
> Add an option for `mmc --make' to compile more recently edited source files
> first, instead of in alphabetical order.  The intention is to catch errors
> in modified files more quickly.
>
> Note this does not affect "build_all" targets (e.g. foo.cs).
>
> compiler/options.m:
> doc/user_guide.texi:
> NEWS:
>        Add the option `--order-make-by-timestamp'.
>
> compiler/make.program_target.m:
>        Sort modules by timestamp when making a linked target, if the option is
>        set.
>
> diff --git a/NEWS b/NEWS
> index 1cc20eb..05e99c9 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -299,6 +299,9 @@ Changes to the Mercury compiler:
> * We have added support for `mmc --make' to recompile modules if options have
>   changed.
>
> +* We have added an option for `mmc --make' to compile more recently edited
> +  source files first.

I suggest s/edited/modified/ here and elsewhere through this diff.

Looks good otherwise.

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