[mercury-users] undefined reference to unification predicate

[Ondrej Bojar]

ent at tplk ent $ /lib/libc.so.6
GNU C Library 20041102 release version 2.3.4, by Roland McGrath et al.
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.
Compiled by GNU CC version 3.3.5  (Gentoo Linux 3.3.5-r1, ssp-3.3.2-3, 
pie-8.7.7.1).
Compiled on a Linux 2.4.22 system on 2005-03-22.
Available extensions:
         GNU libio by Per Bothner
         crypt add-on version 2.1 by Michael Glad and others
         linuxthreads-0.10 by Xavier Leroy
         The C stubs add-on version 2.1.2.
         GNU Libidn by Simon Josefsson
         BIND-8.2.3-T5B
         libthread_db work sponsored by Alpha Processor Inc
         NIS(YP)/NIS+ NSS modules 0.19 by Thorsten Kukuk
Thread-local storage support included.
For bug reporting instructions, please see:
<http://www.gnu.org/software/libc/bugs.html>.

O.

Julien Fischer wrote:
> On Tue, 29 Mar 2005, Ondrej Bojar wrote:
> 
> 
>>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?
>>
> 
> 
> What version of libc do you have installed?  (At a guess I would
> say that the 0.11.0 binary was compiled against an older one than
> the one you have installed).
> 
> 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
> --------------------------------------------------------------------------

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