[bug #60412] Avoid default include directories when searching for included files.

[Paul D. Smith]

Update of bug #60412 (project make):

  Status:None => Fixed  
 Assigned to:None => psmith 
 Open/Closed:Open => Closed 

___

Follow-up Comment #1:

This was fixed by providing two enhancements:

First, it's now possible to add a "-I-" option to the command line.  If this
is done then make forgets about any include file search directories that
precede this option (including the default ones).

Second, changes to the MAKEFLAGS variable inside the makefile are now parsed
immediately when that variable is modified rather than only after all
makefiles are read in.

So, it is now possible to say:

  make -I-

to remove all default search directories, and also to add:

  MAKEFLAGS += -I-

to remove all default search directories from within the makefile.

___

Reply to this item at:

  

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

[bug #60412] Avoid default include directories when searching for included files.

[Dmitry Goncharov]

Additional Item Attachment, bug #60412 (project make):

File name: sv60412_dash_a_test.diff   Size:0 KB
   


File name: sv60412_dash_a_doc.diffSize:1 KB




___

Reply to this item at:

  

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

[bug #60412] Avoid default include directories when searching for included files.

[Dmitry Goncharov]

Additional Item Attachment, bug #60412 (project make):

File name: sv60412_dash_a.diffSize:3 KB




___

Reply to this item at:

  

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

[bug #60412] Avoid default include directories when searching for included files.

[Dmitry Goncharov]

URL:
  

 Summary: Avoid default include directories when searching for
included files.
 Project: make
Submitted by: dgoncharov
Submitted on: Sat 17 Apr 2021 08:34:55 PM UTC
Severity: 3 - Normal
  Item Group: Enhancement
  Status: None
 Privacy: Public
 Assigned to: None
 Open/Closed: Open
 Discussion Lock: Any
   Component Version: SCM
Operating System: POSIX-Based
   Fixed Release: None
   Triage Status: None

___

Details:

Make searches the default include directories for included files.
This new option -a tells make to skip the default include directories.
In my practice, /usr/include, /usr/gnu/include and /usr/local/include contain
header files and never contain makefiles.
Users cannot store their owns hand-written makefiles or generated dep files in
these directories, because these directories are owned by root.
The only effect of this lookup is to slow down make.
Not sure, if this lookup can be removed from make. Therefore, this new option
to avoid it.




___

Reply to this item at:

  

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