Re: question naïve sur les -dev*.deb

[Jérôme Marant <jerome.marant@fr.thalesgroup.com>]

georges mariano wrote:
 
> Sauf que en recompilant pleins de paquets, je m'aperçois (sans
> vraiment faire de stats) que chaque fois que j'installe un -dev
> l'autre vient avec (i.e est exigé par dpkg...)
> [dans la même commande d'installation]
> 
> Alors je vois pas dans quel cas on peut "réussir" à ramener un
> -dev sans son grand frère ?

  Je n'en vois pas.
  le -dev sert à compiler les sources et l'autre sert à
  l'édition de liens du programme compilé. Donc, il faut
  bien les deux.

-- 
Jérôme Marant