[mercury-users] Re: Long compile of Mercury
pbone at csse.unimelb.edu.au
Mon Jul 18 09:25:58 AEST 2011
On Tue, Jul 12, 2011 at 05:40:02AM -0400, Colin Beckingham wrote:
> G'day guys:
> I was interested to see if I could get your Mercury to compile on my
> quad core Linux machine. configure and make went fine, but when I do
> make install I get into a protracted process which takes a strangely
> long time (30 minutes +) compared to other
> configure/make/makeinstalls I have done which have been well under a
> minute in the make install phase. I get a feeling something is not
> right. But on the other hand it does not stop with an error, and
> maybe that is the way it is supposed to work.
This is specifically addressed in the FAQ:
You will also notice that at the end of "./configure" there is a message
describing how long "make install" will take. (This is new in the most recent
The simple answer is: It's supposed to do that, during the "make install" phase
Mercury builds its standard library in the various grades that you selected in
the "./configure" phase (or the default). We realize that this is different
from most people's expectations.
> I'm using gcc 4.5.1 on a standard OpenSUSE 11.4 installation. I note
> from your installation instructions that 4.0 has bugs but I assume
> that 4.5 corrected these?
Yes, I think it did, but 4.5 may have introduced new problems. I think 4.2 and
4.3 (and probably 4.4 but I can't remember) work well. But I remember
something about some more recent versions having a new problem.
You should contact us at mercury-users at csse.unimelb.edu.au, very few people pay
any attention to mercury at csse.unimelb.edu.au
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 490 bytes
Desc: Digital signature
More information about the users