giac et sage?

[Alek]

Bonjour,
Merci pour des suggestions; malheureusement, la procédure de mise à jour propre de sage ne marche pas pour moi...
sage -b produit l'erreur suivante (abregée)

/usr/bin/ld: cannot find crti.o: No such file or directory
error building c_lib

Cela abime en plus l'installation actuelle (sage ne marche plus), j'avoue que c'est assez frustrant...
Bon, c'est peut-être que j'ai loupé un truc évident.
Je suis sous ubuntu 12.04 (à jour), j'ai installé sage à partir des binaires 'pret-a-porter'.
Fait-il installer sage par une compilation pour pouvoir patcher?

Bonne année,
A.
PS. Pour le patch en question, j'ai fait edition à la main et ça marche.

[parisse]

Probablement, en tout cas c'est ce que j'avais fait (patch a la main sur une version compilee).