The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT inria.fr>]

Hi,
No there is not.
I think the main reason for that is that no developper wants to take the
responsability to write a rule that implies some sudo rm -rf /usr/stuff

In a perfect world, anyone would either compile coq for
develloping/testing and use ./configure -local (so no make install) or
install it using a package manager that handle the uninstall phase. In
reality, if the makefile could generate a script to uninstall what it
installs, it would be usefull. (Makefiles generated by coq_makefile does)

Pierre B.


On 03/10/2012 07:04, 
mariana.bernagozzi AT gmail.com
 wrote:
> Hi,
>
> I've installed Coq 8.4 from sources and I would like to uninstall it. I've
> already tried (with no luck):
>
> $ sudo make uninstall
>
> and
>
> $ sudo make deinstall
>
> Operating system: Ubuntu 11.10
>
> Is there any other way to uninstall Coq 8.4 than manually removing the files
> installed by the app?
> Thanks!
>
> Regards,
> Mariana