[mercury-users] Installing Mercury: Compile times

[Peter Ross]

On 5/13/07, Maximillian Murphy <m at de-minimis.co.uk> wrote:
>
> Hello All,
>
> When installing Mercury, I'm curious as to why make is so quick but make install takes a
>  long time.  Normally make does all the hard work and make install just copies the
> results to their default locations.  What does make install do other than the usual?
>
> "make install" seems to be performing lots of mmakes.  Is it building default libraries?
>
Mercury has many "grades", eg the debug grade, the declarative debug
grade, the parallel grade, etc., etc.  Each of these are only compiled
during the install process.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------