bug-make
[Top][All Lists]
Advanced

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

[bug #47880] Allow updates to .INCLUDE_DIRS to change search path


From: Steven Simpson
Subject: [bug #47880] Allow updates to .INCLUDE_DIRS to change search path
Date: Sat, 24 Apr 2021 03:31:31 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:87.0) Gecko/20100101 Firefox/87.0

Follow-up Comment #7, bug #47880 (project make):

> Regarding removing default directories, I wonder what people think of using
something like "-I-" to mean "delete all known include directories up to here
and start over with a fresh set"?  So if you used "make -I- -I/foo -I/bar" the
include directories would be "/foo" and "/bar" with no defaults; if you use
"make -I/foo -I- -I/bar" then the include path would just be "/bar".

I've written makefiles that are installed and used like libraries.  They are
installed by default in /usr/local/include so that users can find them without
any extra configuration, so it would be inconvenient to lose the notion of
default include directories.  A switch analogous to -r/-R seems like a more
backward-compatible option than removing them all by default.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?47880>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

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