Re: Proposal: Deprecate (or rename) extsrc/

[Valery Ushakov <uwe%stderr.spb.ru@localhost>]

On Fri, Jan 07, 2022 at 12:47:53 +1100, Luke Mewburn wrote:

> The "extsrc/" tree was added in late 2009.
> Nothing in tree uses "extsrc/"; it's a placeholder for third-party
> vendors to hook into the build for their own extensions.
> There's no reason a vendor can't just integrate into the build
> with local changes - that's what Wasabi Systems did in the early 2000s.
> 
> (Also, if I recall correctly, "extsrc/" without much consultation).
> 
> If some people require the "extsrc/" functionality in tree, then I propose:
> 1) A good case to retain the functionality should be made by them.
> 2) A better name than "extsrc/" should be chosen, that's not
>    going to cause completion rage. Maybe "3rdparty"?

Yeah, it's kinda there "for the furniture" only.

The build.sh usage still claims the default is /usr/extsrc and the
makefile do-extsrc target uses hardcoded "extsrc" instead of
EXTSRCSRCDIR (sic).

Also it's built separately, so one can't easily use it to add say a
library that some other 3rd party tool already in src can use, etc.

-uwe