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

[Keri Harris]

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?

On Gentoo Linux the building of a package is split into various phases 
(unpack, compile, test, install etc). Having the testing phase run before the 
install phase has always proved irksome with regards to Mercury - we've had 
to patch the Mmakefile(s) to create a 'libgrades' target. Once the libgrades 
are compiled (but not installed), we can then run the test suite with some 
judicious setting of some variables (WORKSPACE, MERCURY_COMPILER etc).

Keri
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------