Bonjour,
en reponse a ta question,
Dasn Debian, il y a le systeme d'allternatives. Ce systeme permet de choisir parmi
des packages fournissant la meme fonction, celui qui sera lanc'e par defaut.
xterm par exemple, a plusieurs variantes, certains preferent xterm
l'original , d'autres uxterm lxterm , ... etc
Le systeme d'alternatives permet de choisir un par defaut au niveau du
systeme ( qui s'appellera x-terminal-emulator , dans /etc/alternatives ) et qui sea referenc'e dans les fichiers de config de ton window-manager par exemple. mais chaque utilisateur peut continuer a utiliser la version qui lui plait.
GCC justement, pour des raisons de choix strategique au niveau debian,
n'est pas support'e dans ce systeme pour le moment. voir
http://lists.debian.org/debian-gcc/2002/03/msg00005.html
par exemple ... le maintainer de gcc en a decid'e ainsi et je pref`ere lui faire confaiance
concernant ton "./configure", il suffit de le lancer avec "CC=gcc-1.7 ./configure" pour le forcer a utiliser la version 1.7
Nooks,
On Fri, Mar 25, 2005 at 05:19:37PM +0100, jeanluc wrote:
> Le Vendredi 25 Mars 2005 16:10, Nooks L. Affro a écrit :
>
> > ~$ dpkg --get-selections | grep gcc
> > gcc install
> > gcc-3.3 install
> > gcc-3.3-base install
> > gcc-3.4 install
> > gcc-3.4-arm-linux install
> > gcc-3.4-base install
> > gcc-3.4-doc install
> > gcc-3.4-mipsel-linux install
> > gcc-3.4-powerpc-linux install
> >
> > noter que , le choix du compilo a utiliser reste manuel. Aucune
> > possibilite , pour le moment, sous Debian d'utiliser le systeme
> > d'alternatives pour redefinir un compilo par defaut ...
>
> Bonjour,
> J'aimerais un complément d'information si possible, justement sur
> Debian.
> Ca veut dire quoi "le choix reste manuel".
> J'ai ca :
> #bash> which gcc
> /usr/bin/gcc
> #bash> lla /usr/bin/gcc
> lrwxrwxrwx 1 root root 7 2005-01-22 15:46 /usr/bin/gcc -> gcc-3.3
> Souvent, on lance des scripts du genre "./configure" qui choisissent le gcc.
> Quelles sont les variables (export ?) ou autres techniques (redéfinir le lien symb ?)
> à mettre en place pour que mon script "./configure" me choississe le gcc de
> mes souhaits dans le cas d'un utilisateur qui n'est pas root ?
>
> Si la réponse dépend de la distrib, alors, si possible, dans mon cas "Sarge".
>
> Merci d'avance.
>
> --
> Jean-Luc
>
>
