Re: Option de compilation
* Arnaud LACOMBE <alacombe@dial.oleane.com> [2003-02-21 18:18] :
> Bonjour,
>
> J'aurai voulu savoir quel était exectement la politique debian au niveau
> des options de compilations, car ça fait déjà au moins deux paquets que
> je vois qui sont compilé _par défaut_ avec l'option -g, un bug ?
Je ne crois pas : d'après la Debian Policy
(http://www.debian.org/doc/debian-policy/ch-files.html#s11.1), les
binaires doivent être compilés AVEC -g (et aussi les options
d'optimisation), mais ils sont ensuite strippés.
Fred
Reply to: