[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Suggestion: Modernization of the include path

From: Paul Smith
Subject: Re: Suggestion: Modernization of the include path
Date: Tue, 02 Jun 2020 10:19:25 -0400

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]