[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