[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: make-kpkg et version de GCC



Le vendredi 19 août 2005 à 23:28 +0200, François Valenduc a écrit :
> Bonsoir à tous,
Bonsoir,

> Sans crier gare, make-kpkg compile tout ce que je lui demande avec 
> gcc-3.3 alors qu'il devrait compiler avec gcc-4.0. En effet, si je 
> vérifie avec gcc -v, j'obtiens bien 4.0 et si je compile mon noyau ou 
> autre chose avec make, c'est bien la version 4.0 qui est utilisée. J'ai 
> lu les archives de la liste et j'ai compris qu'en tappant 
> MAKEFLAGS="CC=gcc-4.0", on peut choisir ainsi la bonne version. Mais, y 
> aurait il moyen de rendre le réglage permanent ?
> 

Regarde du coté du système d'alternatives (man update-alternatives) et
vérifie que /usr/bin/gcc pointe bien vers /usr/bin/gcc-4.0

Voilà ce que ça donne "chez moi" (tm):
# update-alternatives --display cc
cc - status is auto.
 link currently points to /usr/bin/gcc
/usr/bin/gcc - priority 20
 slave cc.1.gz: /usr/share/man/man1/gcc.1.gz
Current `best' version is /usr/bin/gcc.
neptune:~# ls /usr/bin/gcc
/usr/bin/gcc
# ll /usr/bin/gcc
lrwxrwxrwx  1 root root 7 2005-08-12 10:04 /usr/bin/gcc -> gcc-4.0

@++

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: