[m-rev.] for review: configure --enable-ssdebug-grades

[Peter Wang]

On 2010-07-29, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> On Thu, 29 Jul 2010, Peter Wang wrote:
> 
> >Branches: main, 10.04
> >
> >configure.in:
> >       Add configure option `--enable-ssdebug-grades' that appends
> >       hlc.gc.ssdebug and java.ssdebug to LIBGRADES if hlc.gc or java grades
> >       are also present.
> 
> The new option also needs to be documented in .INSTALL.in.  (It's
> probably also worth mentioning in README.ssdebug.)

Done.

> >+If you are new to Mercury, please be aware that a large set of grades will
> >+take a long time to build, and you will likely not need most of them anyway.
> >+You can reduce the number of library grades by using configure options
> >+(e.g. \`configure --disable-most-grades'), or proceed as follows:
> >+
> >+    make -j4 install LIBGRADES='hlc.gc asm_fast.gc.decldebug'
> 
> The second thing you recommend here is potentially very confusing.
> I suggest:
> 
>     ..., or use the LIBGRADES enivorment variable to restrict the set of
>     library grades.  For example:
> 
>       make install LIBGRADES='hlc.gc asm_fast.gc.decldebug'
> 
> I don't recommend mentioning this at all; letting new users manually
> select the set of grades is a bad idea IMO.
> 
> If you want to mention parallel builds here do so in a separate
> paragraph.

Forget it.  I removed that part of the change.

Peter
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------