Re: Cmake et options

Page principale

Répondre à ce message
Auteur: Marc
Date:  
À: guilde
Sujet: Re: Cmake et options
Le 23/04/2018 à 20:16, anne.guilde@??? a écrit :
> Comment désinstaller ce que j'ai compilé?


make uninstall

--
Marc BERLIOUX
"Le prestige des imbéciles fait la force des couillons" A.DUMAS