[m-dev.] Improving compilation time?

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Aug 17 11:29:01 AEST 2011

On Wed, 17 Aug 2011, Paul Bone wrote:

>> - What about making it easier to install other grades after you've
>> installed Mercury? So you only install *one* first, but later add more
>> as you need them?
> I think that you might be able to 'trick' the build system into doing this.
> After saying 'make install' you might be able to install additional grades by
> issuing
> LIBGRADES=my_extra_grades mmake install_grades

It might install the new grade, but the libgrades settings for mmake and
mmc --make would be wrong.

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

More information about the developers mailing list