GNU make 如何管理文件版本控制？

Question

我正在学习 GNU make 。假设我有一个 hello_world.c 文件和一个 Makefile:
hello_world.c:

#include <stdio.h>                        

int main() {                              
        printf("Hello World!\n");  
        return 0;                         
} 

生成文件：

hello: hello_world.c
        gcc hello_world.c -o hello_world

现在，我认为hello 是我的目标，hello_world.c 是它的依赖项。如果 make 以某种方式检测到 hello_world.c 比它的目标文件更新，它会执行相应的命令。

1-make 如何管理文件版本控制以及它如何检测比其他内容更新并需要更新的内容？
2- 如果我使用编辑器更改hello_world.o 并损坏文件，它显然不会执行，但make hello 报告无需执行任何操作！ 我的意思是，make 只检查了依赖项是否比目标更旧并且什么都不做就退出了。我认为它应该检测到该目标不是与其最新调用对应的目标。不知何故，它应该比较“依赖和目标的组合”历史，而不是仅仅比较依赖的历史 w.r.t。 target.
3- 这是make的限制吗？我该如何规避这个问题？因为可能有一些外部应用程序弄乱了我的 make 操作的目标。

Answer 1

1- make 如何管理文件版本控制以及它如何检测比其他内容更新并需要更新的内容？

您已经知道这个问题的答案。您在下一段中说过：“我的意思是，make 只检查了依赖项是否比目标更旧并且什么也不做。”这是正确的。 make 当目标的依赖更新时更新依赖的目标。

2- 如果我使用编辑器更改hello_world.o 并损坏文件，它显然不会执行，但make hello 报告无需执行任何操作！我的意思是，make 只检查了依赖项是否比目标更旧并且什么都不做就退出了。我认为它应该检测到该目标不是与其最新调用对应的目标。不知何故，它应该比较“依赖和目标的组合”历史，而不是仅仅比较依赖的历史 w.r.t。目标。

您要求make 做的比它打算做的要多得多。

3- 这是make的限制吗？我该如何规避这个问题？因为可能有一些外部应用程序弄乱了我的 make 操作的目标。

从您的角度来看，这似乎是make 的限制。但是，我想指出您正在通过手动更新目标来破坏make 的工作。

你怎么能绕过它？

1. 不要手动修改由make构建的目标。

2. 手动更新其中一个依赖项的时间戳，然后运行make。为此，您可以使用命令touch。

3. 提供一个名为clean 的虚拟目标，它将删除所有相关目标。然后，运行make clean，然后运行make。

4. 提供一个名为 rebuild 的虚拟目标。强制构建您需要在该目标中构建的任何内容。然后，运行make rebuild。

Answer 2

make 程序只是比较目标文件 (hello) 和依赖文件 (hello_world.c) 的修改时间戳。

如果依赖文件的时间戳比目标文件新，则执行命令。

Answer 3

make 如何管理文件版本控制以及它如何检测到某些内容比其他内容更新并需要更新？

很简单：make 不关心文件版本。

只需通过比较文件系统中的时间戳来检测某项是否比其他项更新。

如果我使用编辑器更改 hello_world.o 并损坏文件，它显然不会执行，但会发出 hello 报告，无需执行任何操作！我的意思是，make 只检查依赖项是否比目标更旧并且什么也不做。我认为它应该检测到该目标不是与其最新调用对应的目标。不知何故，它应该比较“依赖和目标的组合”历史，而不是仅仅比较依赖的历史 w.r.t。目标。

您没有告诉make 任何有关您的 .o 文件的信息。为什么make 应该检查该文件的时间戳？ 检查依赖关系正是make 所期望的。 如果你不告诉它，这个工具怎么可能知道这个过程涉及到一个名为hello_world.o 的文件？没有魔法发生，只是遵循 Makefile 的规则。

这是make的限制吗？我该如何规避这个问题？因为可能有一些外部应用程序弄乱了我的 make 操作的目标。

您可以指定分层依赖关系：

all: hello

hello: hello_world.o
    <gcc linker command...>

hello_world.o: hello_world.c
    gcc hello_world.c -o hello_world