[m-rev.] diff: build Mercury with --no-detect-libgrades

[Julien Fischer]

On Wed, Sep 11, 2013 at 10:19 AM, Peter Wang <novalazy at gmail.com> wrote:

> On Tue, 10 Sep 2013 17:30:02 +1000 (EST), Julien Fischer <
> jfischer at opturion.com> wrote:
> >
> > Disable library grade detection when building Mercury itself.
> >
> > Library grade detection causes the library installation for the csharp
> grade
> > (and probably any grades that use mmc --make) to fail.  (There is likely
> > a better solution than this, e.g. making --no-mercury-stdlib-dir imply
> > --no-detect-libgrades, but the handling of command line options in this
> > part of the compiler is pretty convoluted, so I will look into that
> > separately.)
>
> configure should check for --no-detect-libgrades otherwise.
>

Done.

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