[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggestion: Modernization of the include path
|
From: |
Sam Kendall |
|
Subject: |
Re: Suggestion: Modernization of the include path |
|
Date: |
Tue, 2 Jun 2020 08:48:07 -0400 |
> 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