[mercury-users] Installing Mercury: Compile times

Maximillian Murphy m at de-minimis.co.uk
Sun May 13 05:42:27 AEST 2007

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?

Regards, M.
Maximillian Murphy <m at de-minimis.co.uk>
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