c - 为什么 makefile 坚持编译它不应该编译的东西？

Question

所以我运行 make lex 并生成了 lex.yy.c 文件，一切正常

然后我运行 make scanner，它将一个名为 scanner.c 的源文件编译，它应该简单地运行 cc lex.yy.c scanner.c -o 扫描仪，而是这样做:

lex  -t scanner.l > scanner.c
cc lex.yy.c scanner.c -o scanner 

为什么它决定运行 lex -t scanner.l 并将其输出到 scanner.c 有效地覆盖我的代码？这该死的想法，这让我发疯。

我的生成文件:

scanner: scanner.h scanner.c lex.yy.c
    cc lex.yy.c scanner.c -o scanner 

lex: scanner.l
    lex scanner.l > lex.yy.c

clean:
    rm lex.yy.c
    rm scanner

出了什么问题？

Answer 1

Why does it decide to run lex -t scanner.l and output it to scanner.c effectively overwritting my code?

无论何时发生这种情况，您的构建目录中都会有一个 scanner.c和 一个scanner.l比 scanner.c 更新

当你运行 make scanner , 配方:

scanner: scanner.h scanner.c lex.yy.c
    cc lex.yy.c scanner.c -o scanner

要求其先决条件 scanner.c应更新。你 没有提供这样做的配方，所以 make falls back 在其内置食谱数据库中。

通过运行 make -p 检查这些内置配方你会发现:

%.c: %.l
#  recipe to execute (built-in):
    @$(RM) $@ 
     $(LEX.l) $< > $@

此内置配方将制作 file.c来自匹配file.l通过运行:

rm file.c   # Not echoed
lex  -t file.l > file.c

Make 发现此食谱的模式规则 - %.c: %.l - 满意 通过 scanner.c ，因为 scanner.l存在并且比 scanner.c 更近. 所以它使用这个配方来制作scanner.c最新:

lex  -t scanner.l > scanner.c

从而破坏你的scanner.c .

如果你不想让 make 永远应用这个内置配方，你可以明确地 通过只写规则来取消它:

%.c: %.l

在您的 makefile 中没有任何配方。

您还可以通过传递 --no-builtin-rules 来禁用所有 内置食谱在 制作命令行。

但是，只要您对 makefile 的行为有期望 被内置食谱破坏，这强烈表明您的期望 不了解从输入文件制作输出文件的常用方法 使用您的 makefile 调用的工具。 品牌 Catalogue of Built-In Rules :

%.<target-type>: %.<prereq-type>
    <command>
    ...

体现制作 <target-type> 的规范方式来自 <prereq-type> 的文件 用 make 归档，这样你就不必自己写这个食谱了 你的生成文件。例如，能够胜任 GNU make 的 C 和 C++ 程序员 不要写食谱来制作.o来自 .c 的文件文件或 .cpp文件，除了 极端情况，因为他们知道 make 会自动执行 通常是他们想要的方式。

Make 的内置配方 %.c: %.l规则表达的规范方式 制作 file.c给出 file.l .所以问问自己:如果你不想要scanner.c 从 scanner.l 开始制作, 如果你想要 lex.yy.c到 由 scanner.l 制成，对于您调用的文件是否必要或有用 scanner.l被称为，当你也有一个相当独立的源文件 称为 scanner.c ？

假设您像这个玩具示例一样利用了 make 的内置食谱:

词法分析器.l

%{
#include <stdio.h>
%}
%%
[ \t] ;
[0-9]+\.[0-9]+ { printf("Found a floating-point number: [%s]\n",yytext); }
[0-9]+  { printf("Found an integer: [%s]\n",yytext); }
[a-zA-Z0-9]+ { printf("Found a string: [%s]\n",yytext); }
%%

扫描仪.c

#include "scanner.h"

int main(void) {
    yylex();
    return 0;
}

扫描仪.h

#ifndef SCANNER_H
#define SCANNER_H

extern int yylex(void);

#endif

那么你的 makefile 可能只是:

生成文件

SRCS := scanner.c lexer.c
OBJS := $(SRCS:.c=.o)
LDLIBS := -lfl

.PHONY: all clean

all: scanner

scanner: $(OBJS)
    $(LINK.o) -o $@ $^ $(LDLIBS)

scanner.o: scanner.h

clean:
    rm -f scanner *.o

运行方式如下:

$ make
cc    -c -o scanner.o scanner.c
lex  -t lexer.l > lexer.c
cc    -c -o lexer.o lexer.c
cc   -o scanner scanner.o lexer.o -lfl
rm lexer.c

请注意，make 会运行所有这些命令:

    cc    -c -o scanner.o scanner.c
    lex  -t lexer.l > lexer.c
    cc    -c -o lexer.o lexer.c

制作lexer.c , lexer.o和 scanner.o没有你 写任何告诉它如何做的食谱。它还会自动 注意到 lexer.c是一个中间文件 - 一个生成的文件 只需要存在即可从 lexer.l 获取至 lexer.o - 所以它删除 它在最后:

rm lexer.c

没有被告知。

并且这个扫描器运行如下:

$ ./scanner 
hello
Found a string: [hello]

42
Found an integer: [42]

42.42
Found a floating-point number: [42.42]

^C