Fri, 23 Feb 2001 06:07:22 -0800
> 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
> 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 :)