Hi Paul and Dmitry,
On 10/26/21 1:16 AM, Paul Smith wrote:
On Mon, 2021-10-25 at 17:51 -0400, Dmitry Goncharov via Bug reports and
discussion for GNU make wrote:
On Monday, October 25, 2021, Alejandro Colomar (man-pages) <
alx.manpa...@gmail.com> wrote:
Why do I do this? Because, if you remove a file from your tree, an
old .d file will require that file and make your build fail,
requiring you to clean before making again.
This has been solved long ago. Check the awesome advanced dependency
generation article by Paul.
FYI:
http://make.mad-scientist.net/papers/advanced-auto-dependency-generation/
The issue you raise (as well as others) is discussed, hopefully
clearly, in this article [*].
[*]
http://make.mad-scientist.net/papers/advanced-auto-dependency-generation/#depdelete
Thanks for sharing that great article!
I'll definitely have to have a look at many or all of the articles in
that website!
I've already applied some of the improvements there, reducing no-op make
times to 0.7 s in single-process and 0.35 with 'make -j'. I'll keep
adding the other improvements too.
Cheers,
Alex
--
Alejandro Colomar
Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/
http://www.alejandro-colomar.es/
