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