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

[Peter Wang]

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.

Peter