Makefile六层功力的锻炼(六)


Makefile六层功力的锻炼(六)一、make的运行1.make的退出码2.指定Makefile3.指定目标4.检查规则5.make的参数二、隐含规则1.使用隐含规则2.隐含规则一览3.隐含规则使用的变量4.隐含规则链5.定义模式规则6.老式风格的“后缀规则”7.隐含规则搜索算法三、使用make更新函数库文件1.函数库文件的成员2.函数库成员的隐含规则3.函数库文件的后缀规则4.注意事项四、最后

一、make的运行

一般来说,最简单的就是直接在命令行下输入 make 命令,make 命令会找当前目录的 makefile 来执行,一切都是自动的。但有时你也许只想让 make 重编译某些文件,而不 是整个工程,而又有的时候你有几套编译规则,你想在不同的时候使用不同的编译规则,等 等。本章节就是讲述如何使用 make 命令的。

1.make的退出码

make 命令执行后有三个退出码:

2.指定Makefile

前面我们说过,GNU make 找寻默认的 Makefile 的规则是在当前目录下依次找三个文件— —“GNUmakefile”、“makefile”和“Makefile”。其按顺序找这三个文件,一旦找到, 就开始读取这个文件并执行。

当前,我们也可以给 make 命令指定一个特殊名字的 Makefile。要达到这个功能,我们要 使用 make 的“-f”或是“--file”参数(“--makefile”参数也行)。例如,我们有个 makefile 的名字是“hchen.mk”,那么,我们可以这样来让 make 来执行这个文件:

 

如果在 make 的命令行是,你不只一次地使用了“-f”参数,那么,所有指定的 makefile 将会被连在一起传递给 make 执行。

3.指定目标

一般来说,make 的最终目标是 makefile 中的第一个目标,而其它目标一般是由这个目标 连带出来的。这是 make 的默认行为。当然,一般来说,你的 makefile 中的第一个目标是 由许多个目标组成,你可以指示 make,让其完成你所指定的目标。要达到这一目的很简单, 需在 make 命令后直接跟目标的名字就可以完成(如前面提到的“make clean”形式)

任何在 makefile 中的目标都可以被指定成终极目标,但是除了以“-”打头,或是包含了 “=”的目标,因为有这些字符的目标,会被解析成命令行参数或是变量。甚至没有被我们 明确写出来的目标也可以成为 make 的终极目标,也就是说,只要 make 可以找到其隐含规 则推导规则,那么这个隐含目标同样可以被指定成终极目标。

有一个 make 的环境变量叫“MAKECMDGOALS”,这个变量中会存放你所指定的终极目标的 列表,如果在命令行上,你没有指定目标,那么,这个变量是空值。这个变量可以让你使用 在一些比较特殊的情形下。比如下面的例子:

 

基于上面的这个例子,只要我们输入的命令不是“make clean”,那么 makefile 会自动 包含“foo.d”和“bar.d”这两个 makefile。

使用指定终极目标的方法可以很方便地让我们编译我们的程序,例如下面这个例子:

 

从这个例子中,我们可以看到,这个 makefile 中有四个需要编译的程序——“prog1”, “prog2”, “prog3”和 “prog4”,我们可以使用“make all”命令来编译所有的目 标(如果把 all 置成第一个目标,那么只需执行“make”),我们也可以使用“make prog2” 来单独编译目标“prog2”。

即然 make 可以指定所有 makefile 中的目标,那么也包括“伪目标”,于是我们可以根据 这种性质来让我们的 makefile 根据指定的不同的目标来完成不同的事。在 Unix 世界中, 软件发布时,特别是 GNU 这种开源软件的发布时,其 makefile 都包含了编译、安装、打 包等功能。我们可以参照这种规则来书写我们的 makefile 中的目标。

 

这个伪目标是所有目标的目标,其功能一般是编译所有的目标。

 

这个伪目标功能是删除所有被 make 创建的文件。

 

这个伪目标功能是安装已编译好的程序,其实就是把目标执行文 件拷贝到指定的目 标中去。

 

这个伪目标的功能是例出改变过的源文件。

 

这个伪目标功能是把源程序打包备份。也就是一个 tar 文件。

 

这个伪目标功能是创建一个压缩文件,一般是把 tar 文件压成 Z 文件。或是 gz 文件。

 

这个伪目标功能是更新所有的目标,以备完整地重编译使用。

 

这两个伪目标一般用来测试 makefile 的流程。

当然一个项目的 makefile 中也不一定要书写这样的目标,这些东西都是 GNU 的东西,但 是我想,GNU 搞出这些东西一定有其可取之处(等你的 UNIX 下的程序文件一多时你就会发 现这些功能很有用了),这里只不过是说明了,如果你要书写这种功能,最好使用这种名字命 名你的目标,这样规范一些,规范的好处就是——不用解释,大家都明白。而且如果你的 makefile 中有这些功能,一是很实用,二是可以显得你的 makefile 很专业(不是那种初学者的作品)。

4.检查规则

有时候,我们不想让我们的 makefile 中的规则执行起来,我们只想检查一下我们的命令,

 

不执行参数,这些参数只是打印命令,不管目标是否更新,把规则和连带规则下的命令 打印出来,但不执行,这些参数对于我们调试 makefile 很有用处。

 

这个参数的意思就是把目标文件的时间更新,但不更改目标文件。也就是说,make 假 装编译目标,但不是真正的编译目标,只是把目标变成已编译过的状态。

 

这个参数的行为是找目标的意思,也就是说,如果目标存在,那么其什么也不会输出, 当然也不会执行编译,如果目标不存在,其会打印出一条出错信息。

 

这个参数需要指定一个文件。一般是是源文件(或依赖文件),Make 会根据规则推导来 运行依赖于这个文件的命令,一般来说,可以和“-n”参数一同使用,来查看这个依赖文件 所发生的规则命令。

另外一个很有意思的用法是结合“-p”和“-v”来输出 makefile 被执行时的信息(这个 将在后面讲述)。

5.make的参数

下面列举了所有 GNU make 3.80 版的参数定义。其它版本和产商的 make 大同小异。其它 产商的 make 的参数还请参看其产品文档。

 

这两个参数的作用是忽略和其它版本 make 的兼容性。

 

认为所有的目标都需要更新(重编译)。

 

指定读取 makefile 的目录。如果有多个“-C”参数,make 的解释是后面的路径以前面的 作为相对路径,并以最后的目录作为被指定目录。如:“make –C ~hchen/test –C prog” 等价于“make –C ~hchen/test/prog”。

 

输出 make 的调试信息。它有几种不同的级别可供选择,如果没有参数,那就是输出最简单 的调试信息。下面是的取值:

 

相当于“--debug=a”。

 

指明环境变量的值覆盖 makefile 中定义的变量的值。

 

指定需要执行的 makefile。

 

显示帮助信息。

 

在执行时忽略所有的错误。

 

指定一个被包含 makefile 的搜索目标。可以使用多个“-I”参数来指定多个目录。

 

指同时运行命令的个数。如果没有这个参数,make 运行命令时能运行多少就运行多少。如 果有一个以上的“-j”参数,那么仅最后一个“-j”才是有效的。(注意这个参数在 MS-DOS 中是无用的)

 

出错也不停止运行。如果生成一个目标失败了,那么依赖于其上的目标就不会被执行了。

 

指定 make 运行命令的负载。

 

仅输出执行过程中的命令序列,但并不执行。

 

不重新生成的指定的,即使这个目标的依赖文件新于它。

“-p”
“--print-data-base”

输出makefile中的所有数据,包括所有的规则和变量。这个参数会让一个简单的makefile 都会输出一堆信息。如果你只是想输出信息而不想执行 makefile,你可以使用“make -qp” 命令。如果你想查看执行 makefile 前的预设变量和规则,你可以使用“make –p –f /dev/null”。这个参数输出的信息会包含着你的 makefile 文件的文件名和行号,所以, 用这个参数来调试你的 makefile 会是很有用的,特别是当你的环境变量很复杂的时候。

 

不运行命令,也不输出。仅仅是检查所指定的目标是否需要更新。如果是 0 则说明要更新, 如果是 2 则说明有错误发生。

“-r”
“--no-builtin-rules”

禁止 make 使用任何隐含规则。

“-R”
“--no-builtin-variabes”

禁止 make 使用任何作用于变量上的隐含规则。

“-s”
“--silent”
“--quiet”

在命令运行时不输出命令的输出。

“-S”
“--no-keep-going”
“--stop”

取消“-k”选项的作用。因为有些时候,make 的选项是从环境变量“MAKEFLAGS”中继承 下来的。所以你可以在命令行中使用这个参数来让环境变量中的“-k”选项失效。

“-t”
“--touch”

相当于 UNIX 的 touch 命令,只是把目标的修改日期变成最新的,也就是阻止生成目标的命 令运行。

“-v”
“--version”

输出 make 程序的版本、版权等关于 make 的信息。

“-w”
“--print-directory”

输出运行 makefile 之前和之后的信息。这个参数对于跟踪嵌套式调用 make 时很有用。

“--no-print-directory”
禁止“-w”选项。
“-W <file>”
“--what-if=<file>”
“--new-file=<file>”
“--assume-file=<file>”

假定目标需要更新,如果和“-n”选项使用,那么这个参数会输出该目标更新时的 运行动作。如果没有“-n”那么就像运行 UNIX 的“touch”命令一样,使得的修 改时间为当前时间。

“--warn-undefined-variables”

只要 make 发现有未定义的变量,那么就输出警告信息。

二、隐含规则

如果要使用隐含规则生成你需要的目标,你所需要做的就是不要写出这个目标的规则。那么, make 会试图去自动推导产生这个目标的规则和命令,如果 make 可以自动推导生成这个目 标的规则和命令,那么这个行为就是隐含规则的自动推导。当然,隐含规则是 make 事先约 定好的一些东西。例如,我们有下面的一个 Makefile:

foo : foo.o bar.o
    cc –o foo foo.o bar.o $(CFLAGS) $(LDFLAGS)

我们可以注意到,这个 Makefile 中并没有写下如何生成 foo.o 和 bar.o 这两目标的规则 和命令。因为 make 的“隐含规则”功能会自动为我们自动去推导这两个目标的依赖目标和 生成命令。

make 会在自己的“隐含规则”库中寻找可以用的规则,如果找到,那么就会使用。如果找 不到,那么就会报错。在上面的那个例子中,make 调用的隐含规则是,把[.o]的目标的依 赖文件置成[.c],并使用 C 的编译命令“cc –c $(CFLAGS) [.c]”来生成[.o]的目标。 也就是说,我们完全没有必要写下下面的两条规则:

foo.o : foo.c
    cc –c foo.c $(CFLAGS)
bar.o : bar.c
    cc –c bar.c $(CFLAGS)

因为,这已经是“约定”好了的事了,make 和我们约定好了用 C 编译器“cc”生成[.o] 文件的规则,这就是隐含规则。

当然,如果我们为[.o]文件书写了自己的规则,那么 make 就不会自动推导并调用隐含规则, 它会按照我们写好的规则忠实地执行。

还有,在 make 的“隐含规则库”中,每一条隐含规则都在库中有其顺序,越靠前的则是越 被经常使用的,所以,这会导致我们有些时候即使我们显示地指定了目标依赖,make 也不 会管。如下面这条规则(没有命令):

foo.o : foo.p

依赖文件“foo.p”(Pascal 程序的源文件)有可能变得没有意义。如果目录下存在了 “foo.c”文件,那么我们的隐含规则一样会生效,并会通过“foo.c”调用 C 的编译器生 成 foo.o 文件。因为,在隐含规则中,Pascal 的规则出现在 C 的规则之后,所以,make 找到可以生成 foo.o 的 C 的规则就不再寻找下一条规则了。如果你确实不希望任何隐含规 则推导,那么,你就不要只写出“依赖规则”,而不写命令。

1.使用隐含规则

这里我们将讲述所有预先设置(也就是 make 内建)的隐含规则,如果我们不明确地写下规 则,那么,make 就会在这些规则中寻找所需要规则和命令。当然,我们也可以使用 make 的参数“-r”或“--no-builtin-rules”选项来取消所有的预设置的隐含规则。

当然,即使是我们指定了“-r”参数,某些隐含规则还是会生效,因为有许多的隐含规则都 是使用了“后缀规则”来定义的,所以,只要隐含规则中有“后缀列表”(也就一系统定义在 目标.SUFFIXES的依赖目标),那么隐含规则就会生效。默认的后缀列表是:.out, .a, .ln, .o, .c, .cc, .C, .p, .f, .F, .r, .y, .l, .s, .S, .mod, .sym, .def, .h, .info, .dvi, .tex, .texinfo, .texi, .txinfo, .w, .ch .web, .sh, .elc, .el。具体的细节,我们会在后面讲述。

还是先来看一看常用的隐含规则吧。

2.隐含规则一览

.o”的目标的依赖目标会自动推导为“.c”,并且其生成命令是“$(CC) –c (CFLAGS)”

.o”的目标的依赖目标会自动推导为“.cc”或是“.C”,并且其生成命令是 “(CPPFLAGS) $(CFLAGS)”。(建议使用“.cc”作为 C++源文件的后缀, 而不是“.C”)

.o”的目标的依赖目标会自动推导为“.p”,并且其生成命令是“$(PC) –c $(PFLAGS)”。

.o”的目标的依赖目标会自动推导为“.r”或“.F”或“.f”,并且其 生成命令是:

“.f” “$(FC) –c $(FFLAGS)”
“.F” “$(FC) –c $(FFLAGS) $(CPPFLAGS)”
“.f” “$(FC) –c $(FFLAGS) $(RFLAGS)”

.f”的目标的依赖目标会自动推导为“.r”或“.F”。这个规则只是转换 Ratfor 或有预处理的 Fortran 程序到一个标准的 Fortran 程序。其使用的命令是:

“.F” “$(FC) –F $(CPPFLAGS) $(FFLAGS)”
“.r” “$(FC) –F $(FFLAGS) $(RFLAGS)”

.sym”的目标的依赖目标会自动推导为“.def”,并且其生成命令是:“$(M2C) (DEFFLAGS)”。“<n.o>” 的目标的依赖目标会自动推导为“.mod”, 并且其生成命令是:“(M2FLAGS) $(MODFLAGS)”。

.o” 的目标的依赖目标会自动推导为“.s”,默认使用编译品“as”,并且其生 成命令是:“(ASFLAGS)”。“.s” 的目标的依赖目标会自动推导为“.S”, 默认使用 C 预编译器“cpp”,并且其生成命令是:“(ASFLAGS)”。

”目标依赖于“.o”,通过运行 C 的编译器来运行链接程序生成(一般是“ld”), 其生成命令是:“(LDFLAGS) .o (LDLIBS)”。这个规则 对于只有一个源文件的工程有效,同时也对多个 Object 文件(由不同的源文件生成)的也 有效。例如如下规则: x : y.o z.o 并且“x.c”、“y.c”和“z.c”都存在时,隐含规则将执行如下命令:

cc -c x.c -o x.o
cc -c y.c -o y.o
cc -c z.c -o z.o
cc x.o y.o z.o -o x
rm -f x.o
rm -f y.o
rm -f z.o

如果没有一个源文件(如上例中的 x.c)和你的目标名字(如上例中的 x)相关联,那么, 你最好写出自己的生成规则,不然,隐含规则会报错的。

.c”的依赖文件被自动推导为“n.y”(Yacc 生成的文件),其生成命令是:“$(YACC) $(YFALGS)”。(“Yacc”是一个语法分析器,关于其细节请查看相关资料)

.c”的依赖文件被自动推导为“n.l”(Lex 生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。(关于“Lex”的细节请查看相关资料)

.r”的依赖文件被自动推导为“n.l”(Lex 生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。

.ln” (lint 生成的文件)的依赖文件被自动推导为“n.c”,其生成命令是: “$(LINT) (CPPFLAGS) -i”。对于“.y”和“.l”也是同样的规则。

3.隐含规则使用的变量

在隐含规则中的命令中,基本上都是使用了一些预先设置的变量。你可以在你的 makefile 中改变这些变量的值,或是在 make 的命令行中传入这些值,或是在你的环境变量中设置这 些值,无论怎么样,只要设置了这些特定的变量,那么其就会对隐含规则起作用。当然,你 也可以利用 make 的“-R”或“--no–builtin-variables”参数来取消你所定义的变量 对隐含规则的作用。

例如,第一条隐含规则——编译 C 程序的隐含规则的命令是“(CFLAGS) (CC)”重定义成“gcc”, 把变量“$(CFLAGS)”重定义成“-g”,那么,隐含规则中的命令全部会以“gcc –c -g $(CPPFLAGS)”的样子来执行了。

我们可以把隐含规则中使用的变量分成两种:一种是命令相关的,如“CC”;一种是参数相 的关,如“CFLAGS”。下面是所有隐含规则中会用到的变量:

AR

函数库打包程序。默认命令是“ar”。

AS

汇编语言编译程序。默认命令是“as”。

CC

C 语言编译程序。默认命令是“cc”。

CXX

C++语言编译程序。默认命令是“g++”。

CO

从 RCS 文件中扩展文件程序。默认命令是“co”。

CPP

C 程序的预处理器(输出是标准输出设备)。默认命令是“$(CC) –E”。

FC

Fortran 和 Ratfor 的编译器和预处理程序。默认命令是“f77”。

GET

从 SCCS 文件中扩展文件的程序。默认命令是“get”。

LEX

Lex 方法分析器程序(针对于 C 或 Ratfor)。默认命令是“lex”。

PC

Pascal 语言编译程序。默认命令是“pc”。

YACC

Yacc 文法分析器(针对于 C 程序)。默认命令是“yacc”。

YACCR

Yacc 文法分析器(针对于 Ratfor 程序)。默认命令是“yacc –r”。

MAKEINFO

转换 Texinfo 源文件(.texi)到 Info 文件程序。默认命令是“makeinfo”。

TEX

从 TeX 源文件创建 TeX DVI 文件的程序。默认命令是“tex”。

TEXI2DVI

从 Texinfo 源文件创建军 TeX DVI 文件的程序。默认命令是“texi2dvi”。

WEAVE

转换 Web 到 TeX 的程序。默认命令是“weave”。

CWEAVE

转换 C Web 到 TeX 的程序。默认命令是“cweave”。

TANGLE

转换 Web 到 Pascal 语言的程序。默认命令是“tangle”。

CTANGLE

转换 C Web 到 C。默认命令是“ctangle”。

RM

删除文件命令。默认命令是“rm –f”。

下面的这些变量都是相关上面的命令的参数。如果没有指明其默认值,那么其默认值都是空。

ARFLAGS

函数库打包程序 AR 命令的参数。默认值是“rv”。

ASFLAGS

汇编语言编译器参数。(当明显地调用“.s”或“.S”文件时)。

CFLAGS

C 语言编译器参数。

CXXFLAGS

C++语言编译器参数。

COFLAGS

RCS 命令参数。

CPPFLAGS

C 预处理器参数。( C 和 Fortran 编译器也会用到)。

FFLAGS

Fortran 语言编译器参数。

GFLAGS

SCCS “get”程序参数。

LDFLAGS

链接器参数。(如:“ld”)

LFLAGS

Lex 文法分析器参数。

PFLAGS

Pascal 语言编译器参数。

RFLAGS

Ratfor 程序的 Fortran 编译器参数。

YFLAGS

Yacc 文法分析器参数。

4.隐含规则链

有些时候,一个目标可能被一系列的隐含规则所作用。例如,一个[.o]的文件生成,可能会 是先被 Yacc 的[.y]文件先成[.c],然后再被 C 的编译器生成。我们把这一系列的隐含规 则叫做“隐含规则链”。

在上面的例子中,如果文件[.c]存在,那么就直接调用 C 的编译器的隐含规则,如果没有 [.c]文件,但有一个[.y]文件,那么 Yacc 的隐含规则会被调用,生成[.c]文件,然后, 再调用 C 编译的隐含规则最终由[.c]生成[.o]文件,达到目标。

我们把这种[.c]的文件(或是目标),叫做中间目标。不管怎么样,make 会努力自动推导 生成目标的一切方法,不管中间目标有多少,其都会执着地把所有的隐含规则和你书写的规 则全部合起来分析,努力达到目标,所以,有些时候,可能会让你觉得奇怪,怎么我的目标 会这样生成?怎么我的 makefile 发疯了?

在默认情况下,对于中间目标,它和一般的目标有两个地方所不同:第一个不同是除非中间 的目标不存在,才会引发中间规则。第二个不同的是,只要目标成功产生,那么,产生最终 目标过程中,所产生的中间目标文件会被以“rm -f”删除。

通常,一个被 makefile 指定成目标或是依赖目标的文件不能被当作中介。然而,你可以明 显地说明一个文件或是目标是中介目标,你可以使用伪目标“.INTERMEDIATE”来强制声 明。(如:.INTERMEDIATE : mid )

你也可以阻止 make 自动删除中间目标,要做到这一点,你可以使用伪目标“.SECONDARY” 来强制声明(如:.SECONDARY : sec)。你还可以把你的目标,以模式的方式来指定(如: %.o)成伪目标“.PRECIOUS”的依赖目标,以保存被隐含规则所生成的中间文件。

在“隐含规则链”中,禁止同一个目标出现两次或两次以上,这样一来,就可防止在 make 自动推导时出现无限递归的情况。

Make 会优化一些特殊的隐含规则,而不生成中间文件。如,从文件“foo.c”生成目标程 序“foo”,按道理,make 会编译生成中间文件“foo.o”,然后链接成“foo”,但在实际 情况下,这一动作可以被一条“cc”的命令完成(cc –o foo foo.c),于是优化过的规 则就不会生成中间文件。

5.定义模式规则

你可以使用模式规则来定义一个隐含规则。一个模式规则就好像一个一般的规则,只是在规 则中,目标的定义需要有“%”字符。“%”的意思是表示一个或多个任意字符。在依赖目标 中同样可以使用“%”,只是依赖目标中的“%”的取值,取决于其目标。

有一点需要注意的是,“%”的展开发生在变量和函数的展开之后,变量和函数的展开发生在 make 载入 Makefile 时,而模式规则中的“%”则发生在运行时。

模式规则中,至少在规则的目标定义中要包含“%”,否则,就是一般的规则。目标中的“%” 定义表示对文件名的匹配,“%”表示长度任意的非空字符串。例如:“%.c”表示以“.c” 结尾的文件名(文件名的长度至少为 3),而“s.%.c”则表示以“s.”开头,“.c”结尾的 文件名(文件名的长度至少为 5)。

如果“%”定义在目标中,那么,目标中的“%”的值决定了依赖目标中的“%”的值,也就 是说,目标中的模式的“%”决定了依赖目标中“%”的样子。例如有一个模式规则如下:

%.o : %.c ; <command ......>

其含义是,指出了怎么从所有的[.c]文件生成相应的[.o]文件的规则。如果要生成的目标是“a.o b.o”,那么“%c”就是“a.c b.c”。

一旦依赖目标中的“%”模式被确定,那么,make 会被要求去匹配当前目录下所有的文件名, 一旦找到,make 就会规则下的命令,所以,在模式规则中,目标可能会是多个的,如果有 模式匹配出多个目标,make 就会产生所有的模式目标,此时,make 关心的是依赖的文件名 和生成目标的命令这两件事。

下面这个例子表示了,把所有的[.c]文件都编译成[.o]文件.

%.o : %.c
$(CC) -c $(CFLAGS) $(CPPFLAGS) $< -o $@

其中,“<”表示了所有依赖目标的挨个值。这些奇怪的变 量我们叫“自动化变量”,后面会详细讲述。

下面的这个例子中有两个目标是模式的:

%.tab.c %.tab.h: %.y
bison -d $<

这条规则告诉 make 把所有的[.y]文件都以“bison –d .y”执行,然后生成 “.tab.c”和“.tab.h”文件。(其中,“”表示一个任意字符串)。如果我们 的执行程序“foo”依赖于文件“parse.tab.o”和“scan.o”,并且文件“scan.o”依 赖于文件“parse.tab.h”,如果“parse.y”文件被更新了,那么根据上述的规则,“bison –d parse.y”就会被执行一次,于是,“parse.tab.o”和“scan.o”的依赖文件就齐 了。(假设,“parse.tab.o”由“parse.tab.c”生成,和“scan.o”由“scan.c”生 成,而“foo”由“parse.tab.o”和“scan.o”链接生成,而且 foo 和其[.o]文件的 依赖关系也写好,那么,所有的目标都会得到满足)

在上述的模式规则中,目标和依赖文件都是一系例的文件,那么我们如何书写一个命令来完 成从不同的依赖文件生成相应的目标?因为在每一次的对模式规则的解析时,都会是不同的 目标和依赖文件。

自动化变量就是完成这个功能的。在前面,我们已经对自动化变量有所提涉,相信你看到这 里已对它有一个感性认识了。所谓自动化变量,就是这种变量会把模式中所定义的一系列的 文件自动地挨个取出,直至所有的符合模式的文件都取完了。这种自动化变量只应出现在规 则的命令中。

下面是所有的自动化变量及其说明:

$@

表示规则中的目标文件集。在模式规则中,如果有多个目标,那么,“$@”就是匹配于 目标中模式定义的集合。

$%

仅当目标是函数库文件中,表示规则中的目标成员名。例如,如果一个目标是 “foo.a(bar.o)”,那么,“@”就是“foo.a”。如果目标不是函 数库文件(Unix 下是[.a],Windows 下是[.lib]),那么,其值为空。

$<

依赖目标中的第一个目标名字。如果依赖目标是以模式(即“%”)定义的,那么“$<” 将是符合模式的一系列的文件集。注意,其是一个一个取出来的。

$?

所有比目标新的依赖目标的集合。以空格分隔。

$^

所有的依赖目标的集合。以空格分隔。如果在依赖目标中有多个重复的,那个这个变量 会去除重复的依赖目标,只保留一份。

$+

这个变量很像“$^”,也是所有依赖目标的集合。只是它不去除重复的依赖目标。

$*

这个变量表示目标模式中“%”及其之前的部分。如果目标是“dir/a.foo.b”,并且目 标的模式是“a.%.b”,那么,“$*”的值就是“dir/a.foo”。这个变量对于构造有关联的 文件名是比较有较。如果目标中没有模式的定义,那么“$*”也就不能被推导出,但是,如 果目标文件的后缀是 make 所识别的,那么“$*”就是除了后缀的那一部分。例如:如果目 标是“foo.c”,因为“.c”是 make 所能识别的后缀名,所以,“$*”的值就是“foo”。 这个特性是 GNU make 的,很有可能不兼容于其它版本的 make,所以,你应该尽量避免使 用“$*”,除非是在隐含规则或是静态模式中。如果目标中的后缀是 make 所不能识别的, 那么“$*”就是空值。

当你希望只对更新过的依赖文件进行操作时,“$?”在显式规则中很有用,例如,假设有一 个函数库文件叫“lib”,其由其它几个 object 文件更新。那么把 object 文件打包的比 较有效率的 Makefile 规则是:

lib : foo.o bar.o lose.o win.o
ar r lib $?

在上述所列出来的自动量变量中。四个变量(<、*)在扩展时只会有一个文件, 而另三个的值是一个文件列表。这七个自动化变量还可以取得文件的目录名或是在当前目录 下的符合模式的文件名,只需要搭配上“D”或“F”字样。这是 GNU make 中老版本的特 性,在新版本中,我们使用函数“dir”或“notdir”就可以做到了。“D”的含义就是 Directory,就是目录,“F”的含义就是 File,就是文件。

下面是对于上面的七个变量分别加上“D”或是“F”的含义:

$(@D)

表示“@”值是“dir/foo.o”,那么 “@”中没有包含斜杠的话,其值就是“.”(当前目录)。

$(@F)

表示“@”值是“dir/foo.o”,那么“$(@F)”就是“foo.o”, “(notdir $@)”。

“$(*D)” “$(*F)”

和上面所述的同理,也是取文件的目录部分和文件部分。对于上面的那个例子,“$(*D)” 返回“dir”,而“$(*F)”返回“foo”

“$(%D)” “$(%F)”

分别表示了函数包文件成员的目录部分和文件部分。这对于形同“archive(member)” 形式的目标中的“member”中包含了不同的目录很有用。

“$(<D)” “$(<F)”

分别表示依赖文件的目录部分和文件部分。

“$(^D)” “$(^F)”

分别表示所有依赖文件的目录部分和文件部分。(无相同的)

“$(+D)” “$(+F)”

分别表示所有依赖文件的目录部分和文件部分。(可以有相同的)

“$(?D)” “$(?F)”

分别表示被更新的依赖文件的目录部分和文件部分。

最后想提醒一下的是,对于“后面的那个特 定字符都加上圆括号,比如,“<”要好一些。

还得要注意的是,这些变量只使用在规则的命令中,而且一般都是“显式规则”和“静态模 式规则”(参见前面“书写规则”一章)。其在隐含规则中并没有意义。

一般来说,一个目标的模式有一个有前缀或是后缀的“%”,或是没有前后缀,直接就是一个 “%”。因为“%”代表一个或多个字符,所以在定义好了的模式中,我们把“%”所匹配的内 容叫做“茎”,例如“%.c”所匹配的文件“test.c”中“test”就是“茎”。因为在目标 和依赖目标中同时有“%”时,依赖目标的“茎”会传给目标,当做目标中的“茎”。

当一个模式匹配包含有斜杠(实际也不经常包含)的文件时,那么在进行模式匹配时,目录 部分会首先被移开,然后进行匹配,成功后,再把目录加回去。在进行“茎”的传递时,我 们需要知道这个步骤。例如有一个模式“e%t”,文件“src/eat”匹配于该模式,于是“src/a” 就是其“茎”,如果这个模式定义在依赖目标中,而被依赖于这个模式的目标中又有个模式 “c%r”,那么,目标就是“src/car”。(“茎”被传递)

你可以重载内建的隐含规则(或是定义一个全新的),例如你可以重新构造和内建隐含规则不 同的命令,如:

%.o : %.c
    $(CC) –c $(CPPFLAGS) $(CFLAGS) -D$(date)

你可以取消内建的隐含规则,只要不在后面写命令就行。如:

%.o : %.s

同样,你也可以重新定义一个全新的隐含规则,其在隐含规则中的位置取决于你在哪里写下这个规则。朝前的位置就靠前。

6.老式风格的“后缀规则”

后缀规则是一个比较老式的定义隐含规则的方法。后缀规则会被模式规则逐步地取代。因为 模式规则更强更清晰。为了和老版本的 Makefile 兼容,GNU make 同样兼容于这些东西。 后缀规则有两种方式:“双后缀”和“单后缀”。

双后缀规则定义了一对后缀:目标文件的后缀和依赖目标(源文件)的后缀。如“.c.o”相 当于“%o : %c”。单后缀规则只定义一个后缀,也就是源文件的后缀。如“.c”相当于“% : %.c”。 后缀规则中所定义的后缀应该是 make 所认识的,如果一个后缀是 make 所认识的,那么这 个规则就是单后缀规则,而如果两个连在一起的后缀都被 make 所认识,那就是双后缀规则。 例如:“.c”和“.o”都是 make 所知道。因而,如果你定义了一个规则是“.c.o”那么其 就是双后缀规则,意义就是“.c”是源文件的后缀,“.o”是目标文件的后缀。如下示例:

.c.o:
    $(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

后缀规则不允许任何的依赖文件,如果有依赖文件的话,那就不是后缀规则,那些后缀统统 被认为是文件名,如:

.c.o: foo.h
    $(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

这个例子,就是说,文件“.c.o”依赖于文件“foo.h”,而不是我们想要的这样:

%.o: %.c foo.h
    $(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

后缀规则中,如果没有命令,那是毫无意义的。因为他也不会移去内建的隐含规则。

而要让 make 知道一些特定的后缀,我们可以使用伪目标“.SUFFIXES”来定义或是删除, 如:

.SUFFIXES: .hack .win

把后缀.hack 和.win 加入后缀列表中的末尾。

.SUFFIXES: # 删除默认的后缀
.SUFFIXES: .c .o .h # 定义自己的后缀

先清除默认后缀,后定义自己的后缀列表。

make 的参数“-r”或“—no-builtin-rules”也会使用得默认的后缀列表为空。而变量 “SUFFIXE”被用来定义默认的后缀列表,你可以用“.SUFFIXES”来改变后缀列表,但 请不要改变变量“SUFFIXE”的值。

7.隐含规则搜索算法

比如我们有一个目标叫 T。下面是搜索目标 T 的规则的算法。请注意,在下面,我们没有提 到后缀规则,原因是,所有的后缀规则在 Makefile 被载入内存时,会被转换成模式规则。 如果目标是“archive(member)”的函数库文件模式,那么这个算法会被运行两次,第一 次是找目标 T,如果没有找到的话,那么进入第二次,第二次会把“member”当作 T 来搜 索。

1)推导其“茎”S,S 应该是 T 或是 N 匹配于模式中“%”非空的部分。

2)计算依赖文件。把依赖文件中的“%”都替换成“茎”S。如果目标模式中没有包含 斜框字符,而把 D 加在第一个依赖文件的开头。

3)测试是否所有的依赖文件都存在或是理当存在。(如果有一个文件被定义成另外一个 规则的目标文件,或者是一个显式规则的依赖文件,那么这个文件就叫“理当存在”)

4)如果所有的依赖文件存在或是理当存在,或是就没有依赖文件。那么这条规则将被 采用,退出该算法。

1)如果规则是终止规则,那就忽略它,继续下一条模式规则。

2)计算依赖文件。(同第 5 步)

3)测试所有的依赖文件是否存在或是理当存在。

4)对于不存在的依赖文件,递归调用这个算法查找他是否可以被隐含规则找到。

5)如果所有的依赖文件存在或是理当存在,或是就根本没有依赖文件。那么这条规则 被采用,退出该算法。

三、使用make更新函数库文件

函数库文件也就是对 Object 文件(程序编译的中间文件)的打包文件。在 Unix 下,一般 是由命令“ar”来完成打包工作。

1.函数库文件的成员

一个函数库文件由多个文件组成。你可以以如下格式指定函数库文件及其组成:

archive(member)

这个不是一个命令,而一个目标和依赖的定义。一般来说,这种用法基本上就是为了“ar” 命令来服务的。如:

foolib(hack.o) : hack.o
    ar cr foolib hack.o

如果要指定多个 member,那就以空格分开,如:

foolib(hack.o kludge.o)

其等价于:

foolib(hack.o) foolib(kludge.o)

你还可以使用 Shell 的文件通配符来定义,如:

foolib(*.o)

2.函数库成员的隐含规则

当 make 搜索一个目标的隐含规则时,一个特殊的特性是,如果这个目标是“a(m)”形式的, 其会把目标变成“(m)”。于是,如果我们的成员是“%.o”的模式定义,并且如果我们使用 “make foo.a(bar.o)”的形式调用 Makefile 时,隐含规则会去找“bar.o”的规则, 如果没有定义 bar.o 的规则,那么内建隐含规则生效,make 会去找 bar.c 文件来生成 bar.o,如果找得到的话,make 执行的命令大致如下:

cc –c bar.c –o bar.o
ar r foo.a bar.o
rm –f bar.o

还有一个变量要注意的是“$%”,这是专属函数库文件的自动化变量,有关其说明请参见“自 动化变量”一节。

3.函数库文件的后缀规则

你可以使用“后缀规则”和“隐含规则”来生成函数库打包文件,如:

.c.a:
    $(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $*.o
    $(AR) r $@ $*.o
    $(RM) $*.o

其等效于:

(%.o) : %.c
    $(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $*.o
    $(AR) r $@ $*.o
    $(RM) $*.o

4.注意事项

在进行函数库打包文件生成时,请小心使用 make 的并行机制(“-j”参数)。如果多个 ar 命令在同一时间运行在同一个函数库打包文件上,就很有可以损坏这个函数库文件。所以, 在 make 未来的版本中,应该提供一种机制来避免并行操作发生在函数打包文件上。

但就目前而言,你还是应该尽量不要使用“-j”参数。

四、最后

感谢“跟我一起写Makefile”d的作者,感谢make的作者。