[m-rev.] For review: New FAQ entries for installation.

[Peter Ross]

On Thu, Aug 21, 2008 at 6:05 PM, Keri Harris <keri at gentoo.org> wrote:
> On Wed, 20 Aug 2008 14:08:31 Paul Bone wrote:
>> Add a new FAQ section 'installation', and create two questions within it.
>>
>> The first question describes a work-around for bugs 66 and 77.
>>
>> The second question describes why the make install process takes a while
>> and directs the user to the Grades section in the User Guide.
>
> I've always wondered why all the libgrades are compiled during a 'make
> install' rather than a plain old 'make'. Is there a particular reason for
> this?
>
It's a bootstrapping problem.  You need a Mercury compiler to compile
the Mercury files which make up the standard library.  Thus you need
to have an installed compiler before you can install all the libs.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------