ports/58525: [PATCH] port devel/portlint: USE_* should be no user-settable option

[Richard Coleman]

> While I appreciate your effort to clean up the USE_* namespace, this
> seems somewhat half-baked to me. Why not go one step further: no port
> should be allowed to use the USE_<OPTION> namespace for user specified
> options. Instead, they should use the USE_<PORT>_OPTION or
> WITH{,OUT}<PORT>_OPTION (or <PORT>_{USE,WITH,WITHOUT}_, for what it's
> worth) namespace. Variables in the USE_<OPTION> namespace should only be
> specified by portmgr@ for internal use or to set "global" dependencies,
> similar to Gentoo Linux's "use=".
> 
> Implementing this would enable one to specify all tunables one wants to
> set in a central location like /etc/make.conf without having to fear
> bizarre side effects and without having to resort to a bunch of
> Makefile.locals or portupgrade and its MAKE_ARGS facility.

Even if you add code to prohibit using the USE_* namespace (which is a 
good idea), it still makes sense to add this patch to portlint to warn 
about such namespace pollution.  Patching portlint is probably the best 
way to get moving towards exactly what you want.

Richard Coleman
richardcoleman at mindspring.com