TL; DR checkinstall
est votre ami ;)
sudo apt-get install checkinstall
Après une installation avec sudo make install
votre gestionnaire de paquets ne sait absolument rien de cette installation. Mais il sait tout sur un paquet avec le même nom dans les dépôts Ubuntu ou dans un PPA.
Utilisez sudo checkinstall
au lieu de sudo make install
et utilisez une version supérieure comme version du référentiel pour être sûr que votre gestionnaire de packages accepte cette version comme dépendance correcte pour ProgB
.
Informations complémentaires:
checkinstall
est vraiment astucieux, car il suit ce que la commande make install
ferait, afin de déterminer comment construire un paquet.
Cela signifie que si vous installez un programme en utilisant make install
, mais que vous voulez ensuite vous repentir pour vos péchés, tout ce que vous avez à faire est de sudo checkinstall -D make install
, et cette commande va:
-
suivez make install
pour comprendre ce que cela fait
-
copy-cat make install
, sauf dans le formulaire de package * .deb
-
installer à partir du paquet (exactement comme make install
l'aurait fait, à partir du point 1)) sauf que apt-get
le sait aussi et écrase donc tous les fichiers exactement où make install
les aurait mis Tant que vous choisissez OUI pour inclure les fichiers mis par make install
dans le répertoire home du paquet - quelques options pendant le processus checkinstall
vous permettront de choisir (évidemment, le choix est là pour que vous puissiez exercez-le au cas par cas)
Bonus: Vous pouvez également supprimer un package (appelez-le progA
à nouveau) installé avec make install
qui n'a pas le support make uninstall
en suivant le processus checkinstall
décrit jusqu'ici, puis en faisant simplement:
dpkg -r progA