Hi Valentin, "make uninstall" should work now. I only tested with --prefix= $HOME/lilyroot, I leave testing as root with --prefix=/usr/local up to you :-) It shouldn't do anything nasty: rm is exclusively used to delete files previsouly installed by "make [web-]install", and rmdir only removes empty directories.
Le mercredi 20 août 2008 à 12:23 +0200, Valentin Villenave wrote: > cannot remove directory: the directory is not empty [on several > directories, see below] All these errors should be ignored by make, see the reason at the end of this email. > /bin/sh: line 2: -rmdir: command not found Someone forgot this line is in the middle of a shell command, so the correct invocation is "rmdir foo/bla || true". > and there are quite a few directories left in my tree: I usually prefer to use "tree" to see what has been left. > Isn't there any rm -rf missing in the uninstaller? By design, "make uninstall" only removes files that have been previously installed, in order to preserve files you and other programs may have added, then it tries to remove (not all) empty directories, so "rm -rf" has not its place. Cheers, John _______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
