[m-rev.] diff: fix bug with --detect-libgrades and --make

[Julien Fischer]

On Tue, Sep 17, 2013 at 10:15 AM, Peter Wang <novalazy at gmail.com> wrote:

> On Fri, 6 Sep 2013 18:47:08 +1000 (EST), Julien Fischer <
> jfischer at opturion.com> wrote:
> > @@ -2047,6 +2056,9 @@ detect_libgrades(Globals, MaybeConfigMerStdLibDir,
> GradeOpts, !IO) :-
> >       globals.lookup_bool_option(Globals, detect_libgrades, Detect),
> >       (
> >           Detect = yes,
> > +        globals.lookup_bool_option(Globals, verbose, Verbose),
> > +        maybe_write_string(Verbose, "% Detecting library grades ...\n",
> !IO),
> > +        globals.lookup_bool_option(Globals, very_verbose, VeryVerbose),
> >           % NOTE: a standard library directory specified on the command
> line
> >           % overrides one set using the MERCURY_STDLIB_DIR variable.
> >           ( if
>
> mmc -v:
>
>     % Detecting library grades ...
>     % done.
>     Mercury Compiler, version rotd-2013-09-10, configured for
> i686-pc-linux-gnu
>     Copyright (C) 1993-2013 The University of Melbourne
>     Usage: mmc [<options>] <arguments>
>     Use `mmc --help' for more information.
>
> mmc -V:
>
>     % Detecting library grades ...
>     % Detected library grade: hlc.gc
>     % Detected library grade: asm_fast.gc
>     % Detected library grade: hlc.gc.pregen
>     % done.
>     Mercury Compiler, version rotd-2013-09-10, configured for
> i686-pc-linux-gnu
>     Copyright (C) 1993-2013 The University of Melbourne
>     Usage: mmc [<options>] <arguments>
>     Use `mmc --help' for more information.
>

Hmmm.  I guess we will have to print the set of detected library grades out
later.

Cheers,
Julien.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20130917/3931a3fc/attachment.html>