[mercury-users] Installing Mercury: Compile times

Peter Ross pro at missioncriticalit.com
Sun May 13 09:32:39 AEST 2007

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

More information about the users mailing list