This pull request improves the build script of this project.
Specifically, it adds missing Make dependencies so that the targets of the project are re-generated correctly whenever there are updates to any of the dependent source files.
In this way, the project is incrementally built and we no longer sacrifice time in clean builds (i.e., builds after a make clean).
Note that this fix follows the best practices for tracking dependencies automatically (through gcc -MD)
Hello
This pull request improves the build script of this project. Specifically, it adds missing Make dependencies so that the targets of the project are re-generated correctly whenever there are updates to any of the dependent source files.
In this way, the project is incrementally built and we no longer sacrifice time in clean builds (i.e., builds after a make clean).
Note that this fix follows the best practices for tracking dependencies automatically (through
gcc -MD)For more details, see here. https://www.gnu.org/software/make/manual/html_node/Automatic-Prerequisites.html