On Tue, 2020-06-02 at 08:48 -0400, Sam Kendall wrote: > > I suggest that > > a) $HOME/.local/include is effectively added to the > > include_directories ... > > If two users build the same source tree, they will effectively be > building variants of it, each extending it with her own > $HOME/.local/include directory. And if one user builds two > *different* source trees, she will effectively add those same > extensions to both source trees, even if they were intended only for > one. > > Those are both bad results. I am strongly against this proposal.
I'm not sure I understand the concern here. Note that we're talking about default places to search for included makefiles, only; this isn't related to any locations that compilers or other tools invoked by make would search. GNU make already (as noted in the email) supports global directories for searching so adding a per-user directory seems logical and not new, problematic behavior to me. But I'm interested in understand the objection more fully. Cheers!
