Re: Cmake et options

Top Page

Reply to this message
Author: Marc
Date:  
To: guilde
Subject: 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