[mercury-users] Installing Mercury: Compile times

[Maximillian Murphy]

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