[PPL-devel] Problema nella compilazione sotto mac os x 10.4.9
Enea Zaffanella
zaffanella at cs.unipr.it
Mon May 7 17:07:58 CEST 2007
Valerio Senni wrote:
> Sorry for writing in italian...
> Thank you for the super-fast reply.
> I was trying to install PPL 0.9.
> I don't understand from the linker's error message to which library
> belong the symbols he's looking for...
> whether they belong to the gmp library (which it may be the case I
> compiled with the wrong options)
> or to the SICStus' library or to PPL.
[...]
Quoting from the previous answer from Roberto:
>> This seems to indicate that, for some reason, the version of spld
>> you have in your system fails to link with the C++ standard library.
So, apparently, it is the C++ standard library that is not found by spld.
Ciao,
Enea.
More information about the PPL-devel
mailing list