[mercury-users] undefined reference to unification predicate

Ondrej Bojar obo at cuni.cz
Tue Mar 29 18:43:48 AEST 2005


Hi.

I'm using gcc version 3.3.5  (Gentoo Linux 3.3.5-r1, ssp-3.3.2-3, 
pie-8.7.7.1) and I'm not able to compile (recent or old) rotds [for a 
reason I posted to mercury-bugs]. The binary 0.11.0 seemed to be a 
solution, until I ran into the __ctype_b problem, too.

Can I do something else but wait for 0.12?

Thanks, Ondrej.

Peter Hawkins wrote:
> Hi...
> On Sat, 29 Jan 2005 09:22 pm, André Platzer wrote:
>>>>though I'm not completely sure it seems as if the problem from 1999
>>>>"[mercury-users] Issues with gcc 2.95.2?" reappears. On my Suse 9.1
>>>>linux box with gcc 3.4.1 and mercury 0.11.0 (binaries as well as
>>>>sources distribution) provoke several errors of the following kind
>>>
>>>Mercury 0.11 is not really compatible with gcc 3.4.x,
> 
> Use a 'release of the day' (probably a recent unstable one) instead of the 
> 0.11 release. The 0.11 release is quite old. There's a 0.12 release coming 
> out shortly.
> 
> =)
> Peter
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
> 

-- 
Ondrej Bojar (mailto:obo at cuni.cz)
http://www.cuni.cz/~obo


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



More information about the users mailing list