Forum Linux.debian/ubuntu Où sont les options de compilation ?

Posté par  .
Étiquettes : aucune
0
17
août
2007
Bonjour,

Je voudrais savoir s'il existe sous Debian, un fichier dans lequel on peut redéfinir les valeurs par défaut des options de compilation ?

Sous Gentoo il semble que ce soit /etc/make.conf

Par exemple, je compile avec une valeur de CFLAGS de -O3 (-O2 par défaut) donc à chaque fois soit je l'indique avec la commande ./configure CFLAGS="-O3" soit je fait un export CFLAGS="-O3" mais qui n'est pa non plus permanent.

Donc ce serait bien que dans un fichier je puisse ajouter la ligne:

CFLAGS="-O3"

et que make utilise automatiquement cette valeur.


Cordialement

Pascal

  • # Gentoo

    Posté par  . Évalué à 1.

    Gentoo est une distribution source ce qui n'est malheureusement pas le cas de Debian/Mandrake/Corel. En gros les programmes que tu installes seront déjà compilé et tu ne peux donc pas en modifier les flags de compilation sans les recompiler.

    Maintenant si tu souhaites avoir des valeurs de variables d'environnement prédéfinies tu peux toujours les mettre dans le fichier de configuration du shell de l'utilisateur compilant les programmes. Par exemple dans un .bashrc. Fais tout de même attention à ce que certains programmes ne supportent pas certains flags (ce qui est géré dans les filtres de flags sous Gentoo).

    • [^] # Re: Gentoo

      Posté par  . Évalué à 1.

      Merci bien Emilien pour toutes ces précisions.

      Pascal

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.