Re: [VETO] Support package-prefix and fix mail-locking in configure

Ben> Mike, I thought it was agreed that anyone who VETOs must Ben> [a] clearly state why and what they are vetoing, and Ben> [b] suggest ways to resolve the problem, where "revert" should Ben> be seen as the last resort. I'm not sure what you see as lacking. Sure, I propose a "revert," but this doesn't seem very drastic to me as it's a small change, and it doesn't seem to solve a clearly defined problem. (I'm happy to have a discussion here---I'm not demanding you revert before we've resolved where we want to go.) Ben> The intention is to provide an easy way to say "I have the Ben> packages located HERE". This is a simplification. No, it's not, because it's tacked on top of the rest of what we have. Also, it's functionality that --package-path already provides. (And it's functionality we shouldn't really need.) The current infrastructure doesn't really have a notion of "the packages are located" here. (The misunderstanding in configure.usage Stephen identified exemplifies this.) -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla