>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:

Tom> 2. Pushing the hook out means that if the user has a -local as
Tom> well as a -hook then we have to rewrite the -local target to add
Tom> a new dependency.  We've never rewritten user targets, so this is
Tom> a major(-ish) change to contemplate.

This is backwards -- we'd actually have to rewrite the user's -hook to
depend on -local (and other targets).

It gets worse if we want to support a pre-install (and pre-uninstall)
hook, which we do.

Tom

Reply via email to