> 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. --Sam
