marcobambini / gravity

Gravity Programming Language
https://gravity-lang.org
MIT License
4.3k stars 229 forks source link

Makefile dependency errors #413

Open Meiye-lj opened 11 months ago

Meiye-lj commented 11 months ago

We recently conducted a study to detect build dependency errors, focusing on missing and redundant dependencies. Missing dependencies (MDs), are dependencies that are not declared in the build script but will be used in the full build. MDs prevent GNU Make from recompiling programs after they have been modified and regenerating all the targets that contain them, resulting in incorrect incremental builds Redundant dependencies (RDs), are dependencies that are declared in the build script but will not be used in the full build. RDs refer to static build dependencies which declare dependencies that are not the actual build dependencies of the target. RDs cause the build system to perform unnecessary incremental builds. In addition, RDs cause targets that could be executed in parallel to be executed sequentially, reducing the build efficiency. We analyze the actual software construction process and detect dependency errors. We have detected the following dependency errors in your public project. Please help us to check these dependency errors. Commit ID: 0a9fa35 dep_error_0a9fa35_985e63e.csv