Changer de compilateur

Publié le par JJ

ça se passe dans le makefile ...
Dans mon cas gcc est le compilateur. Alors via syanptic on vérifie si les paquet gcc-3.4 et gcc-4.0  sont installés(pour avoir 2 version :) (pour ceux qui pense que linux c'est dur il suffit de lancer synaptic et de demander gcc au moteur de recherche et de vérifier si les versions qu'on veux sont cochées. Sous windows on fait comment? on vérifie si le racourci existe !!! mais ou était t'il?)

Pour être précis une rapide visite à /usr/bin/ on se rend compte que gcc est un lien symbolique et sans surprise il va pointer vers gcc-4.0 (par defaut) ou gcc-X.X.

Il suffit d'écraser le lien symbolique vers gcc-3.4 pour gcc-4.0 ou inversement pour basculer version sans avoir à écrire des conditions dans le makefile...

=> note: on a besoin des droits Super Utilisateur (root ou admin) pour faire l'écriture: assurez vous que le compte sur lequel vous êtes connecté à l'authorisation de passer admin avec sudo .

On rajoute ce bout de code dans le makefile (Ubuntu seulement, à cause du sudo)

v3.4:
  @echo "Ubuntu only, please verify what happend"  #un petit message
    sudo rm /usr/bin/gcc  #sudo + effacer

   sudo ln -s /usr/bin/gcc-3.4 /usr/bin/gcc
le fichier /usr/bin/gcc
v4.0:
    @echo "Ubuntu only, please verify what happend"
    sudo rm /usr/bin/gcc
    sudo ln -s /usr/bin/gcc-4.0 /usr/bin/gcc
    @gcc -v

et comment on fait?
on se place dans le dossier du makefile et on fait
make v3.4 pour passer en version 3.4
make v4.0 ...

Faite un simple make et après les message d'erreurs ne seront plus les mêmes. Parfois ça aide mais je rappelle que gcc4 n'est pas finalisé a ma connaissance.
---------
Note: on peut pres bien faire la même chose depuis la console:
    sudo rm /usr/bin/gcc
    sudo ln -s /usr/bin/gcc-4.0 /usr/bin/gcc

Publié dans Compilation

Commenter cet article