23 Feb
2001
23 Feb
'01
9:07 a.m.
On Fri, 23 Feb 2001, Simon Marlow wrote:
I don't think I agree. Installation of an external package shouldn't be doing --delete-package first: that should be left to the user (or rpm -e, or whatever).
rpm is a different story. I would expect 'make install' to be idempotent. With your scheme one has to write 'make uninstall install'.
ghc --add-package behaves just like rpm --install, which seems reasonable to me. Why should it behave differently? If you want 'make install' to be idempotent (which I'm not sure is desirable anyway), then you will indeed have to ghc --delete-package first, but then I hope you're going to print a big warning and wait for the user to press any key first :) Cheers, Simon