[Tech] Problema a compilare kaffe

[Leandro Noferini]

    >> Macché.... non funziona neanche così: che sia un problema delle
    >> librerie gmp?

    Gianni> Se sei sicuro che il configure localizzi correttamente la
    Gianni> libreria (ahime' la diagnostica che da' lui e' la stessa
    Gianni> sia che la libreria non esista sia che non trovi il
    Gianni> simbolo che cerca) prova a fare

    Gianni> nm libgmp.a | grep mpz_get_d

    Gianni> per vedere se quella funzione c'e' o no.

La funzione c'era solo che io stavo usando le gmp2 che non creano il
link a libgmp.a ma solo a libgmp2.a.

Ho fatto il link a manuccia e pare andare.




-- 
Ciao
leandro
Email: leandro@firenze.linux.it
GPG Key fingerprint = 761A 69EA 813A CF14 FACD  1E79 AFF9 1B97 D88E 024C