[m-dev.] Improving compilation time?

[Julien Fischer]

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.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------