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

Re: make-kpkg et version de GCC



Julien Valroff a écrit :

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

@++
J'ai bien exactement les mêmes résultats. D'ailleurs, j'ai déja dit que si je compile avec make, c'est bien gcc 4 qui est utilisé. Je ne comprends vraiment pas pourquoi make-kpkg s'entête à utiliser gcc 3.

François



Reply to: