Quel est le contraire de "make install", c'est-à-dire comment désinstaller une bibliothèque sous Linux ?

Question

En cours d'exécution

./configure --prefix=/mingw

sur un système MinGW/MSYS pour une bibliothèque que j'avais auparavant exécutée

'./configure --prefix=/mingw && make && make install'

Je suis tombé sur ce message :

AVERTISSEMENT : Une version du SDK du plugin Vamp est déjà installée. Attendez-vous à des soucis et des peines si vous installez une nouvelle version sans supprimer l'ancienne au préalable. (Suite)

Cela m'a inquiété. Quel est l'opposé de 'make install', c'est-à-dire comment une bibliothèque est-elle désinstallée sous Linux ? Est-ce que 'make clean' fera l'affaire, ou y a-t-il d'autres étapes à suivre ?

Answer 1

make clean supprime tous les fichiers intermédiaires ou de sortie de votre arborescence source/construction. Cependant, il n'affecte que l'arbre des sources/construction ; il ne touche pas le reste du système de fichiers et ne supprimera donc pas les logiciels précédemment installés.

Si vous avez de la chance, courir make uninstall fonctionnera. Cependant, c'est aux auteurs de la bibliothèque de fournir ces informations ; certains auteurs fournissent une liste de contrôle. uninstall cible, d'autres non.

Si vous n'avez pas de chance, vous devrez l'installer manuellement. Exécution de make -n install peut être utile, car il indique les étapes que le logiciel doit suivre pour s'installer, mais ne fait rien. Vous pouvez alors inverser manuellement ces étapes.

Answer 2

Si sudo make uninstall n'est pas disponible :

Dans un système basé sur Debian, au lieu de faire make install, vous pouvez exécuter sudo checkinstall (ou .rpm etc. équivalent) pour faire un .deb qui est également installé automatiquement. Vous pouvez ensuite le supprimer en utilisant synaptic .

voir http://community.linuxmint.com/tutorial/view/162

Answer 3

Si vous avez un manifest qui répertorie tous les fichiers qui ont été installés avec make install vous pouvez exécuter cette commande que je tiens d'une autre réponse :

cat install_manifest.txt | xargs echo rm | sh

Si vous avez sudo make install vous devrez ajouter un sudo à votre désinstallation :

cat install_manifest.txt | xargs echo sudo rm | sh

Answer 4

Selon la qualité du makefile/configure script/autofoo magique du programme en question, ce qui suit pourrait résoudre votre problème :

make uninstall

Le problème est que vous devez l'exécuter sur l'arbre source de la version que vous avez installée et avec exactement la même configuration que celle utilisée pour l'installation.

Answer 5

make clean ne nettoie généralement que les fichiers construits dans le répertoire contenant le code source lui-même, et touche rarement les logiciels installés.

Les Makefiles ne contiennent généralement pas de cible pour la désinstallation -- vous devez généralement le faire vous-même, en supprimant les fichiers du répertoire dans lequel ils ont été installés. Par exemple, si vous avez construit un programme et l'avez installé (en utilisant le fichier make install ) en /usr/local vous devriez regarder /usr/local/bin , /usr/local/libexec , /usr/local/share/man etc., et supprimez les fichiers non désirés. Parfois, un Makefile inclut un uninstall cible, mais pas toujours.

Bien sûr, typiquement, sur un système Linux, vous installez un logiciel en utilisant un fichier gestionnaire de paquets qui est capable de désinstaller les logiciels "automatiquement".