[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: make uninstall could do rmdir

From: Ralf Wildenhues
Subject: Re: make uninstall could do rmdir
Date: Wed, 16 Mar 2005 16:41:36 +0100
User-agent: Mutt/1.4.1i

Hi Stepan,

* Stepan Kasal wrote on Wed, Mar 16, 2005 at 04:40:01PM CET:
>   recently, I run "make uninstall" with a package I previously installed
> by "make install".
> The package heavily uses the feature
>       foodir = ...
>       foo_HEADERS = ...
> and thus created many directories.  After the uninstall, the directories
> are empty.  I imagined that "make uninstall" could remove them in such case.
> Why this is not working?

Feature: the directories it would remove are not part of the package.
This is arguable, but it would be very surprising if `make uninstall'
removed /usr/local/bin which was previously set up with special
permissions and owner.

For nonstandard directories, this might be even more arguable.
But then again, removing empty directories from a tree is trivial,
and, as the comment you quoted says:

>       Note that `uninstall' is not meant as a replacement for a real
>       packaging tool.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]