<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 11, 2013 at 10:19 AM, Peter Wang <span dir="ltr"><<a href="mailto:novalazy@gmail.com" target="_blank">novalazy@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tue, 10 Sep 2013 17:30:02 +1000 (EST), Julien Fischer <<a href="mailto:jfischer@opturion.com">jfischer@opturion.com</a>> wrote:<br>

><br>
> Disable library grade detection when building Mercury itself.<br>
><br>
> Library grade detection causes the library installation for the csharp grade<br>
> (and probably any grades that use mmc --make) to fail.  (There is likely<br>
> a better solution than this, e.g. making --no-mercury-stdlib-dir imply<br>
> --no-detect-libgrades, but the handling of command line options in this<br>
> part of the compiler is pretty convoluted, so I will look into that<br>
> separately.)<br>
<br>
</div>configure should check for --no-detect-libgrades otherwise.<br></blockquote><div><br></div><div style>Done.</div><div style><br></div><div style>Cheers,</div><div style>Julien. </div></div><br></div></div>