[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #58735] When rebuilding makefiles, make tries them in reverse order
From: |
Paul D. Smith |
Subject: |
[bug #58735] When rebuilding makefiles, make tries them in reverse order |
Date: |
Fri, 10 Jul 2020 16:04:31 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/83.0.4103.106 Safari/537.36 |
Follow-up Comment #6, bug #58735 (project make):
I just want to be clear: changing make to allow it to be able to rebuild
makefiles incrementally is not just a breaking change, it is also a sizeable
development effort.
Today GNU make works in three discrete stages: first it reads all makefiles,
then it organizes and completes the DAG, then it builds all the goal targets.
GNU make proceeds through each stage in order, every time. The current
codebase does not allow going back and forth between these stages. So it is
not possible to see an include operation, complete the DAG, rebuild the
included file, then go back and continue reading more makefiles.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58735>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #58735] if depending on include, gmake does not execute commands for out of date targets in the right order, Jörg Schilling, 2020/07/08
- [bug #58735] if depending on include, gmake does not execute commands for out of date targets in the right order, Paul D. Smith, 2020/07/08
- [bug #58735] if depending on include, gmake does not execute commands for out of date targets in the right order, Jörg Schilling, 2020/07/09
- [bug #58735] When rebuilding makefiles, make tries them in reverse order, Paul D. Smith, 2020/07/09
- [bug #58735] When rebuilding makefiles, make tries them in reverse order, Jörg Schilling, 2020/07/10
- [bug #58735] When rebuilding makefiles, make tries them in reverse order, Paul D. Smith, 2020/07/10
- [bug #58735] When rebuilding makefiles, make tries them in reverse order,
Paul D. Smith <=
- [bug #58735] When rebuilding makefiles, make tries them in reverse order, Paul D. Smith, 2020/07/19
- [bug #58735] When rebuilding makefiles, make tries them in reverse order, Paul D. Smith, 2020/07/19