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

Peter Wang novalazy at gmail.com
Wed Sep 11 10:19:01 AEST 2013


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



More information about the reviews mailing list