[mercury-users] problems compiling mercury 0.12.2

[Nancy]

> I've uploaded a binary package for x86_64/Linux to the following:
> 
> 	<ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/mercury-rotd-2006-05-07.x86_64-unknown-linux-gnu-libc2.3.tar.gz>
> 
> At a pinch you might want to try that (it's a fairly hefty download though, ~190M).

the binary didn't help unfortunately...

> It's also possible there may be a problem with gcc 3.4.6 (we're using on
> 3.3.5).  I'll try gcc 3.4.6 sometime tommorrow.  Another thing you might
> want to try is turning off gcc optimizations, i.e. adding
> 
> 	EXTRA_CFLAGS=-O0

but this idea did! Many thanks!

Nancy

> 
> to the Mmake.params at the top-level of the source tree.
> 
> Julien.
> --------------------------------------------------------------------------
> mercury-users mailing list
> post:  mercury-users at cs.mu.oz.au
> administrative address: owner-mercury-users at cs.mu.oz.au
> unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
> subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
> --------------------------------------------------------------------------


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------