On Wed, 13 Jul 2005 21:06:13 +0200
Marco Calviani <mirtux@studenti.fisica.unifi.it> wrote:
come si fa a definire quale e' il compilatore di default?
In debian esiste "update-alternatives --config nome_categoria" che ti
permette di scegliere il programma di default per una "categoria". In
/etc/alternatives c'è la lista di tutto quello che puoi configurare.
(spero si abbia capito... ;)
Non esistendo però /etc/alternatives/gcc per ricompilare il kernel ho
semplicemente fatto puntare /usr/bin/gcc a /usr/bin/gcc-3.4 e impostato
$HOSTCC sempre a gcc-3.4 (anche se non so se quest'ultimo serva o meno).
Ciao
InSa