参考
跟我一起写 Makefile系列
GNU make官方文档
Makefile 中:= ?= += =的区别
Four Dollar signs in Makefile
概述
makefile可以理解成是专门用来在unix下编译工程的一个特殊的脚本。makefile关系到了整个工程的编译规则。一个工程中的源文件不计数,其按类型、功能、模块分别放在若干个目录中,makefile定义了一系列的规则来指定哪些文件需要先编译、哪些文件需要后编译、哪些文件需要重新编译,甚至进行更复杂的操作。此外,还能在makefile中执行操作系统的命令。
makefile带来的好处就是“自动化编译”,一旦写好,只需要一个make命令,整个工程完全自动编译,极大的提高了软件开发的效率。make是一个用来解释makefile语句的命令行程序。
本文默认的编译器是UNIX下的GCC。
关于程序的编译和链接
在此,我想多说关于程序编译的一些规范和方法。一般来说,无论是C还是C++,首先要把源文件编译成目标文件(即Object File),在Windows下是.obj文件,UNIX下是.o文件,这个动作叫做编译(compile)。然后再把大量的目标文件合并成可执行文件,这个动作叫作链接(link)。
编译时,编译器需要的是语法的正确,函数与变量的声明的正确。对于后者,通常是你需要告诉编译器头文件的所在位置(头文件中应该只是声明,而定义应该放在C/C++文件中),只要所有的语法正确,编译器就可以编译出目标文件。一般来说,每个源文件都应该对应一个目标文件(.o文件或是.obj文件)。
链接时,主要是链接函数和全局变量。链接器并不管源文件,只管目标文件。在大多数时候,由于编译生成的目标文件太多,而在链接时需要明确地指出目标文件名,这就使得编译很不方便。所以我们要给目标文件打个包,在Windows下这种包叫“库文件”(Library File),在UNIX下是Archive File。
Makefile介绍
make命令执行时,需要一个 Makefile 文件,以告诉make命令需要怎样编译和链接程序。
首先我会用一个示例来说明Makefile的书写规则,以便给大家一个直观的认识。这个示例来源于GNU的make使用手册。在这个示例中,我们的工程有8个.c文件,和3个头文件,我们要写一个Makefile来告诉make命令如何编译和链接这几个文件。我们的规则是: 1)如果这个工程没有编译过,那么我们的所有.c文件都要编译并被链接。 2)如果这个工程的某几个.c文件被修改,那么我们只编译被修改的.c文件,并链接目标程序。 3)如果这个工程的头文件被改变了,那么我们需要编译引用了这几个头文件的.c文件,并链接目标程序。
只要我们的Makefile写得够好,所有的这一切,我们只用一个make命令就可以完成,make命令会自动地根据当前文件的修改情况来确定哪些文件需要重编译,从而自己编译所需要的文件和链接目标程序。
一、Makefile的规则
Makefile的简要规则:
target ... : prerequisites ...
command
...
target是makefile中的一个目标文件,可以是Object File,也可以是可执行文件,还可以是一个标签(伪目标)。prerequisites表示的是要生成那个target所需要的文件或目标。command也就是make需要执行的命令。(可以是任意的Shell命令)
这是一个文件的依赖关系。也就是说,target这个目标文件依赖于prerequisites中的文件,其生成规则定义在command中。也就是说,prerequisites中如果有一个以上的文件比target文件更新,command所定义的命令就会被执行。这就是Makefile的规则,也是Makefile中最核心的内容。
二、一个示例
正如前面所说的,如果一个工程有3个头文件,和8个.c文件,我们为了完成前面所述的那三个规则,我们的Makefile应该是下面的这个样子的。
edit : main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
cc -o edit main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
main.o : main.c defs.h
cc -c main.c
kbd.o : kbd.c defs.h command.h
cc -c kbd.c
command.o : command.c defs.h command.h
cc -c command.c
display.o : display.c defs.h buffer.h
cc -c display.c
insert.o : insert.c defs.h buffer.h
cc -c insert.c
search.o : search.c defs.h buffer.h
cc -c search.c
files.o : files.c defs.h buffer.h command.h
cc -c files.c
utils.o : utils.c defs.h
cc -c utils.c
clean :
rm edit main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
反斜杠(\)是命令换行。这样使Makefile更易读。我们可以把这个内容保存在名为“Makefile”或“makefile”的文件中,然后在该目录下直接输入命令“make”就可以生成可执行文件edit。如果要删除执行文件和所有的中间目标文件,那么,只要简单地执行一下“make clean”就可以了。
在这个makefile中,目标文件(target)包括可执行文件edit和所有.o文件,依赖文件(prerequisites)就是冒号后面的那些.c文件和.h文件。每一个.o文件都有一组依赖文件,而这些.o文件又是可执行文件edit的依赖文件。依赖关系实质上就是指目标文件是由哪些文件生成的。
在定义好依赖关系后,后续的那一行定义了如何生成目标文件的操作系统命令,一定要以一个Tab键作为开头。记住,make并不管命令是怎么工作的,他只管执行所定义的命令。make会比较targets文件和prerequisites文件的修改日期,如果prerequisites文件的日期要比targets文件的日期要新,或者target不存在的话,那么,make就会执行后续定义的命令。
这里要说明一点的是,clean是一个标签,没有任何一个文件依赖clean,make不会自动执行其后的命令。要执行定义在clean后面的命令,就要在make命令后明确地指出clean这个标签的名字。这样的方法非常有用,我们可以在一个makefile中定义不用的编译或是和编译无关的命令,比如程序的打包,程序的备份,等等。
三、make是如何工作的
在默认的情况下,也就是我们只输入make命令。那么,
1、make会在当前目录下找名字叫“Makefile”或“makefile”的文件。
2、如果找到,它会找文件中的第一个目标文件(target),在上面的例子中,他会找到“edit”这个文件,并把这个文件作为最终的目标文件。
3、如果edit文件不存在,或是edit所依赖的后面的.o文件的文件修改时间要比edit这个文件新,那么,他就会执行后面所定义的命令来生成edit这个文件。
4、如果edit所依赖的.o文件也存在,那么make会在当前文件中找目标为.o文件的依赖性,如果找到则再根据那一个规则生成.o文件。(这有点像一个堆栈的过程)
5、当然,你的.c文件和.h文件是存在的啦,于是make会生成.o文件,然后再用.o文件生成可执行文件edit。
这就是整个make的依赖性,make会一层又一层地去找文件的依赖关系,直到最终编译出第一个目标文件。在找寻的过程中,如果出现错误,比如最后被依赖的文件找不到,那么make就会直接退出,并报错,而对于所定义的命令的错误,或是编译不成功,make根本不理。make只管文件的依赖性,即,如果在我找了依赖关系之后,冒号后面的文件还是不在,那么对不起,我就不工作啦。
通过上述分析,我们知道,像clean这种,没有被第一个目标文件直接或间接关联,那么它后面所定义的命令将不会被自动执行,不过,我们可以显示要make执行。即命令——“make clean”,以此来清除所有的目标文件,以便重编译。
如果一个工程已被编译过了,当我们修改了其中的一个源文件后,比如file.c,根据文件依赖性,目标file.o会被重编译,重编译后file.o的文件修改时间要比edit要新,所以edit也会被重新链接了。
而如果我们改变了“command.h”,那么,kdb.o、command.o和files.o都会被重编译,并且,edit会被重链接。
四、在makefile中使用变量
在上面的例子中,先让我们看看edit的规则:
edit : main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
cc -o edit main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
我们可以看到.o文件被重复了两次,如果我们的工程需要加入一个新的.o文件,那么我们需要在两个地方添加(应该是三个地方,还有一个地方在clean中)。如果makefile变得复杂,那么我们就有可能会忘掉一个需要加入的地方,而导致编译失败。为了使makefile更容易维护,在makefile中我们可以使用变量。
比如,我们要声明一个变量,我们在makefile一开始这样定义:
objects = main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
接下来,我们可以很方便地在我们的makefile中以$(objects)的方式来使用这个变量,于是我们的改良版makefile就变成下面这个样子:
objects = main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
edit : $(objects)
cc -o edit $(objects)
main.o : main.c defs.h
cc -c main.c
kbd.o : kbd.c defs.h command.h
cc -c kbd.c
command.o : command.c defs.h command.h
cc -c command.c
display.o : display.c defs.h buffer.h
cc -c display.c
insert.o : insert.c defs.h buffer.h
cc -c insert.c
search.o : search.c defs.h buffer.h
cc -c search.c
files.o : files.c defs.h buffer.h command.h
cc -c files.c
utils.o : utils.c defs.h
cc -c utils.c
clean :
rm edit $(objects)
如果有新的.o文件加入,我们只需简单地修改一下 objects 变量就可以了。
有四种定义变量/为变量赋值的方法:(参考Makefile 中:= ?= += =的区别 )
- =,使用最后一个=定义的值作为全局的值
- :=,覆盖之前的值,并作为当前值
- ?=,如果没有被赋值过就赋予等号后面的值
- +=,添加等号后面的值
“=”和“:=”的区别:
1、“=”
make会将整个makefile展开后,再决定变量的值。也就是说,变量的值将会是整个makefile中最后被指定的值。看例子:
x = foo
y = $(x) bar
x = xyz
在上例中,y的值将会是 xyz bar ,而不是 foo bar 。
2、“:=”
“:=”表示变量的值决定于它在makefile中的位置,而不是整个makefile展开后的最终值。
x := foo
y := $(x) bar
x := xyz
在上例中,y的值将会是 foo bar ,而不是 xyz bar。
五、make自动推导
make很强大,它可以自动推导文件以及文件依赖关系后面的命令。我们没必要去在每一个.o文件后都写上类似的命令,因为make会自动识别并自己推导命令。
只要make看到一个.o文件,它就会自动的把.c文件加在依赖关系中,如果make找到一个whatever.o,那么whatever.c就会是whatever.o的依赖文件。并且cc -c whatever.c也会被推导出来。于是,我们的makefile再也不用写得那么复杂。
objects = main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
edit : $(objects)
cc -o edit $(objects)
main.o : defs.h
kbd.o : defs.h command.h
command.o : defs.h command.h
display.o : defs.h buffer.h
insert.o : defs.h buffer.h
search.o : defs.h buffer.h
files.o : defs.h buffer.h command.h
utils.o : defs.h
.PHONY : clean
clean :
rm edit $(objects)
这就是make的“隐晦规则”。上面文件内容中,“.PHONY”表示,clean是个伪目标文件。
六、多个目标文件依赖相同的文件
objects = main.o kbd.o command.o display.o \
insert.o search.o files.o utils.o
edit : $(objects)
cc -o edit $(objects)
$(objects) : defs.h
kbd.o command.o files.o : command.h
display.o insert.o search.o files.o : buffer.h
.PHONY : clean
clean :
rm edit $(objects)
七、清空目标文件的规则(clean)
每个Makefile中都应该写一个清空目标文件(.o和执行文件)的规则,这不仅便于重编译,也利于保持文件的清洁。一般的风格都是:
clean:
rm edit $(objects)
更为稳健的做法是:
.PHONY : clean
clean :
-rm edit $(objects)
前面说过,.PHONY表示clean是一个“伪目标”。
在rm命令前面加了一个小减号的意思就是,如果这条命令执行出错了,则忽略这个错误,继续执行后面的命令。当然,clean的规则不要放在文件的开头,不然,这就会变成make的默认目标。不成文的规矩是——“clean从来都是放在文件的最后”。
更详细的Makefile介绍
一、Makefile里有什么
Makefile里主要包含了五种东西:显式规则、隐晦规则、变量定义、文件指示和注释。
1、显式规则。显式规则说明了如何生成一个或多个目标文件。这要由Makefile的书写者明确指出要生成的文件、文件的依赖文件和命令。
2、隐晦规则。make有自动推导的功能,所以隐晦规则可以让我们简略地书写Makefile。
3、变量定义。在Makefile中我们要定义一系列变量,变量一般都是字符串。这个有点像C语言中的宏,当Makefile被执行时,其中的变量都会被扩展到相应的引用位置上。
4、文件指示。有三类文件指示:(1)在一个Makefile中引用另一个Makefile,就像C语言中的include一样;(2)指根据某些情况指定Makefile中的有效部分,就像C语言中的预编译#if一样;(3)定义一个多行的命令。这一部分的内容后面再说。
5、注释。Makefile中只有行注释。和UNIX的Shell脚本一样,注释是用“#”字符,如果你要在你的Makefile中使用“#”字符,可以用反斜框进行转义,如:“\#”。
最后,值得一提的是,Makefile中的命令必须要以Tab键开始。
二、Makefile命名
默认情况下,make命令会在当前目录下按顺序找寻文件名为“GNUmakefile”、“makefile”、“Makefile”的文件。最好不要用“GNUmakefile”,这个文件是GNU的make识别的。有另外一些make只对全小写的“makefile”文件名敏感,但是基本上来说,大多数的make都支持“makefile”和“Makefile”这两种默认文件名。
当然,你可以使用别的文件名来书写Makefile,比如:“Make.Linux”,“Make.Solaris”,“Make.AIX”等,如果要指定特定的Makefile,你可以使用make的“-f”和“--file”参数,如:make -f Make.Linux或make --file Make.AIX。
三、引用其它Makefile
在Makefile使用include关键字可以把别的Makefile包含进来,被包含的文件会被原模原样的放在当前文件的包含位置。include的语法是:
include {filename}
filename可以是当前操作系统Shell的文件模式(可以保含路径和通配符)。
include前面可以有一些空字符,但绝不能以Tab键开始。include和{filename}可以用一个或多个空格隔开。举个例子,你有这样几个Makefile:a.mk、b.mk、c.mk,还有一个文件叫foo.make,以及一个变量$(bar),其包含了e.mk和f.mk,那么,下面的语句:
include foo.make *.mk $(bar)
等价于:
include foo.make a.mk b.mk c.mk e.mk f.mk
make命令开始时,会查找include所指出的其它Makefile,并把其内容安置在当前的位置。如果文件都没有指定绝对路径或是相对路径的话,make会在当前目录下首先寻找,如果当前目录下没有找到,那么,make还会在下面的几个目录下找:
1、如果make执行时有“-I”或“--include-dir”参数,那么make就会在这个参数所指定的目录下去寻找。
2、如果目录{prefix}/include(一般是:/usr/local/bin或/usr/include)存在的话,make也会去找。
如果有文件没有找到的话,make会生成一条警告信息,但不会马上出现致命错误。它会继续载入其它的文件,一旦完成makefile的读取,make会再重新查找这些没有找到,或是不能读取的文件,如果还是不行,make才会出现一条致命信息。如果你想让make不理那些无法读取的文件,而继续执行,你可以在include前加一个减号“-”。如:
-include {filename}
其表示,无论include过程中出现什么错误,都不要报错继续执行。和其它版本make兼容的相关命令是sinclude,其作用和这一个是一样的。
四、环境变量MAKEFILES
如果你的当前环境中定义了环境变量MAKEFILES,那么,make会把这个变量中的值做一个类似于include的动作。这个变量中的值是其它的Makefile,用空格分隔。只是,它和include不同的是,从这个环境变量中引入的Makefile的“目标”不会起作用,如果环境变量中定义的文件发现错误,make也会不理。
在这里我建议不要使用这个环境变量,因为这个变量一旦被定义,那么当你使用make时,所有的Makefile都会受到它的影响,这绝不是你想看到的。在这里提这个事,也许有时候你的Makefile出现了怪事,那么你可以看看当前环境中有没有定义这个变量。
五、makefile的执行步骤
make工作时的执行步骤如下:(其它的make也是类似的)
1、读入所有的Makefile。
2、读入被include的其它Makefile。
3、初始化文件中的变量。
4、推导隐晦规则,并分析所有规则。
5、为所有的目标文件创建依赖关系链。
6、根据依赖关系,决定哪些目标要重新生成。
7、执行生成命令。
1-5步为第一个阶段,6-7为第二个阶段。第一个阶段中,如果定义的变量被使用了,那么make会把其展开在使用的位置。但make并不会把变量马上完全展开,make使用的是拖延策略,如果变量出现在依赖关系的规则中,那么仅当这条规则被决定要使用了,变量才会在其内部展开。
更更详细的makefile的介绍
规则包含两个部分,一个是依赖关系,一个是生成目标的命令。
在Makefile中,规则的顺序是很重要的,因为Makefile中应该只有一个最终目标,其它的目标都是被这个目标所连带出来的,所以一定要让make知道你的最终目标是什么。一般来说,定义在Makefile中的目标可能会有很多,但是第一条规则中的目标将被默认确立为最终的目标。如果第一条规则中的目标有很多个,那么第一个目标会默认成为最终的目标。
一、规则举例
略
二、规则的语法
targets : prerequisites
command
...
或是这样:
targets : prerequisites ; command
command
...
command是命令行,如果其不与“target:prerequisites”在一行,那么必须以Tab键开头,如果和prerequisites在一行,那么可以用分号做为分隔。这两种写法的含义是不同的。
三、在规则中使用通配符
如果我们想定义一系列比较类似的文件,我们很自然地就想起使用通配符。make支持三种通配符:“*”,“?”和“[...]”。这是和Unix的B-Shell是相同的。
如果要在文件名中使用“*”字符,可以在前面加上转义字符“\”。
先来看几个例子:
clean:
rm -f *.o
上面这个例子是在命令中的通配符。
print: *.c
lpr -p $?
touch print
上面这个例子说明了通配符也可以用在规则中,目标print依赖于所有的.c文件。其中的“$?”是一个自动化变量(会列出所有比目标新的依赖文件(可以理解成只列出更新过的依赖)),我们会在后面讨论。
如果将通配符用在变量中,例如objects = *.o。*.o并不会展开,objects的值就是“*.o”!Makefile中的变量类似于C/C++中的宏。如果你要让通配符在变量中展开,也就是让objects的值是所有.o文件的集合,那么可以这样:
objects := $(wildcard *.o)
这种用法由关键字“wildcard”指出。关于Makefile的关键字,我们将在后面讨论。
四、文件搜索
注意:vpath只对查找文件的依赖关系有效。即,依赖中的文件名不需要写全路径,而命令中的文件名还是要写全路径!!!
一些大的工程中有大量的源文件,我们通常的做法是把这些源文件分类并存放在不同的目录中。所以,当make需要去查找文件的依赖关系时,你可以在文件前加上路径(必须要在依赖文件和命令中的文件名前都加上路径才行!),但最好的方法是把一个路径告诉make,让make在自动去找。
Makefile文件中的特殊变量“VPATH”就是用来完成这个功能的,如果没有定义这个变量,make只会在当前目录中去查找依赖文件。如果定义了这个变量,那么make就会在当前目录找不到的情况下,到指定的目录中去查找文件了。
VPATH = src:../headers
上面的的定义指定两个目录,“src”和“../headers”,make会按照这个顺序进行搜索。目录由“:”分隔。(当前目录永远是最优先搜索的目录。)
另一个设置文件搜索路径的方法是使用make的“vpath”关键字(注意,它是全小写的)。这不是变量,这是一个make的关键字,这和上面提到的那个VPATH变量很类似,但是它更为灵活。它可以指定在不同的搜索目录中搜索不同的文件。这是一个很灵活的功能。它的使用方法有三种:
1、vpath {pattern} {directories}
为符合模式{pattern}的文件指定搜索目录{directories}。
2、vpath {pattern}
清除符合模式{pattern}的文件的搜索目录。
3、vpath
清除所有已被设置好了的文件搜索目录。
{pattern}需要包含“%”字符。“%”的意思是匹配零或若干字符,例如,“%.h”表示所有以“.h”结尾的文件。{pattern}指定了要搜索的文件集,而{directories}则指定了{pattern}的文件集的搜索的目录。例如:
vpath %.h ../headers
该语句表示,要求make在“../headers”目录下搜索所有以“.h”结尾的文件。(如果某文件在当前目录没有找到的话)
我们可以连续地使用vpath语句,以指定不同搜索策略。如果连续的vpath语句中出现了相同的{pattern},或是被重复了的{pattern},那么,make会按照vpath语句的先后顺序来执行搜索。如:
vpath %.c foo
vpath % blish
vpath %.c bar
其表示“.c”结尾的文件,先在“foo”目录搜索,然后是“blish”,最后是“bar”目录。
vpath %.c foo:bar
vpath % blish
上面的语句表示“.c”结尾的文件,先在“foo”目录搜索,然后是“bar”目录,最后才是“blish”目录。
五、伪目标
在最开始的一个例子中,我们提到过一个名为“clean”的目标,这是一个“伪目标”,
clean:
rm *.o temp
“伪目标”并不是一个文件,只是一个标签,所以make无法生成它的依赖关系和决定它是否要执行。我们只有通过显示地指明这个“目标”才能让其生效。“伪目标”的取名不能和文件名重名,不然就失去了“伪目标”的意义了。
为了避免和文件重名的这种情况,我们可以使用一个特殊的标记“.PHONY”来显示地指明一个目标是“伪目标”,向make说明,不管是否有这个文件,这个目标就是“伪目标”。
整个过程可以这样写:
.PHONY: clean
clean:
rm *.o temp
我们也可以为伪目标指定所依赖的文件。伪目标同样可以作为“默认目标”,只要将其放在第一个。一个例子就是,如果你的Makefile需要一口气生成若干个可执行文件,但你只想简单地敲一个make完事,并且所有的目标文件都写在一个Makefile中,那么你可以使用“伪目标”这个特性:
all : prog1 prog2 prog3
.PHONY : all
prog1 : prog1.o utils.o
cc -o prog1 prog1.o utils.o
prog2 : prog2.o
cc -o prog2 prog2.o
prog3 : prog3.o sort.o utils.o
cc -o prog3 prog3.o sort.o utils.o
伪目标同样也可成为依赖。看下面的例子:
.PHONY: cleanall cleanobj cleandiff
cleanall : cleanobj cleandiff
rm program
cleanobj :
rm *.o
cleandiff :
rm *.diff
“make cleanall”将清除所有要被清除的文件。我们可以输入“make cleanall”和“make cleanobj”和“make cleandiff”命令来达到清除不同种类文件的目的。
六、多个目标依赖相同的文件
Makefile的一个规则中的可以有多个目标。有可能我们的多个目标同时依赖于一个文件,并且其生成的命令大体类似,于是我们就能把其合并起来。
多个目标的生成规则的执行命令是同一个,这可能会可我们带来麻烦,不过我们可以使用一个自动化变量“$@”,这个变量表示着目前规则中所有的目标的集合,这样说可能很抽象,看一个例子吧。
bigoutput littleoutput : text.g
generate text.g -$(subst output,,$@) > $@
上述规则等价于:
bigoutput : text.g
generate text.g -big > bigoutput
littleoutput : text.g
generate text.g -little > littleoutput
其中,-$(subst output,,$@)中的第一个“$”表示执行一个Makefile的函数,函数名为subst,后面的为参数。关于函数,将在后面讲述。subst这个函数的功能是替换字符串(将参数3中包含的参数1替换为参数2),“$@”表示目标的集合,就像一个数组,“$@”依次取出目标,并执于命令。
七、多目标的静态模式
使用静态模式可以更加容易地定义多目标的规则,可以让我们的规则变得更有弹性和灵活性。我们先来看一下语法:
{targets ...}: {target-pattern}: {prereq-patterns ...}
{commands}
...
targets定义了一系列目标文件,可以有通配符,是目标的一个集合。
target-parrtern指明了targets的模式,也就是目标集模式。
prereq-parrterns是目标的依赖模式,它用target-parrtern进行依赖的模式定义。
举个例子来说明一下吧。如果我们的{target-parrtern}定义成“%.o”,意思是{target}集合中都是以“.o”结尾的,而如果我们的{prereq-parrterns}定义成“%.c”,则取{target-parrtern}模式中的“%”(去掉了.o这个结尾),并为其加上.c这个结尾,形成依赖模式。所以“目标模式”和“依赖模式”中都应该有“%”这个字符,如果你的文件名中有“%”那么你可以使用反斜杠“\”进行转义,来使用“%”这个字符。
看一个例子:
objects = foo.o bar.o
all: $(objects)
$(objects): %.o: %.c
$(CC) -c $(CFLAGS) $< -o $@
上面的例子中,指明了目标从$object中获取,目标模式“%.o”表明要所有以“.o”结尾的目标,也就是“foo.o bar.o”。依赖模式“%.c”取模式“%.o”的“%”,也就是“foo bar”,并为其加下“.c”的后缀,于是我们的依赖目标就是“foo.c bar.c”。
命令中的“$<”和“$@”是自动化变量,($<表示依赖目标中的第一个目标名字。如果依赖目标是以模式(即 % )定义的,那么 $< 将是符合模式的一系列的文件集。注意,其是一个一个取出来的。,“$@”表示目标集,也是一个一个取出来的)。于是,上面的规则展开后等价于下面的规则:
foo.o : foo.c
$(CC) -c $(CFLAGS) foo.c -o foo.o
bar.o : bar.c
$(CC) -c $(CFLAGS) bar.c -o bar.o
“静态模式规则”的用法很灵活,如果用得好,那会一个很强大的功能。再看一个例子:
files = foo.elc bar.o lose.o
$(filter %.o,$(files)): %.o: %.c
$(CC) -c $(CFLAGS) $< -o $@
$(filter %.elc,$(files)): %.elc: %.el
emacs -f batch-byte-compile $<
$(filter %.o,$(files))表示调用Makefile的filter函数,过滤“$files”集,只要其中模式为“%.o”的内容。这个例子展示了Makefile中更大的弹性。
八、自动生成头文件依赖
在Makefile中,依赖关系可能会包含一系列的头文件。比如,如果main.c中有一句#include "defs.h",那么依赖关系应该是:
main.o : main.c defs.h
但是对于一个大型的工程,你必须清楚哪些.c文件包含了哪些头文件。并且,在加入或删除头文件时,也需要小心地修改Makefile,这是一个很没有维护性的工作。为了避免这种繁重而又容易出错的事情,我们可以使用C/C++编译的一个功能。大多数的C/C++编译器都支持一个“-M”的选项,即自动找寻源文件中包含的头文件,并生成一个依赖关系。例如,如果我们执行下面的命令:
cc -M main.c
其输出是:
main.o : main.c defs.h
这是由编译器自动生成的依赖关系,这样一来,我们就不必再手动书写某些文件的依赖关系,而是由编译器自动生成了。需要提醒一句的是,如果你使用GNU的C/C++编译器,你得用“-MM”参数,不然,“-M”参数会把一些标准库的头文件也包含进来。
例如gcc -M main.c的输出是:
main.o: main.c defs.h /usr/include/stdio.h /usr/include/features.h /
/usr/include/sys/cdefs.h /usr/include/gnu/stubs.h /
/usr/lib/gcc-lib/i486-suse-linux/2.95.3/include/stddef.h /
/usr/include/bits/types.h /usr/include/bits/pthreadtypes.h /
/usr/include/bits/sched.h /usr/include/libio.h /
/usr/include/_G_config.h /usr/include/wchar.h /
/usr/include/bits/wchar.h /usr/include/gconv.h /
/usr/lib/gcc-lib/i486-suse-linux/2.95.3/include/stdarg.h /
/usr/include/bits/stdio_lim.h
而gcc -MM main.c的输出则是:
main.o: main.c defs.h
那么,如何把编译器的这个功能与我们的Makefile联系在一起呢?GNU建议把编译器为每一个源文件的自动生成的依赖关系放到一个文件中,即为每一个“name.c”的文件都生成一个“name.d”的Makefile文件,.d文件中就存放对应.c文件的依赖关系。
然后我们可以写出.c文件和.d文件的依赖关系,让make自动更新或生成.d文件,并将其包含在我们的主Makefile中。这样,我们就可以自动化地生成每个文件的依赖关系了。
这里,我们给出了一个模式规则来产生.d文件:
%.d: %.c
@set -e; rm -f $@; \
$(CC) -M $(CPPFLAGS) $< > $@.$$$$; \
sed ’s,\($*\)\.o[ :]*,\1.o $@ : ,g’ < $@.$$$$ > $@; \
rm -f $@.$$$$
这个规则的意思是,所有的.d文件依赖于.c文件,rm -f $@的意思是删除所有的目标,也就是.d文件。第二行的意思是,为每个依赖文件“$<”(也就是.c文件)生成目标文件的依赖,“$@”表示模式“%.d”文件,如果有一个.c文件是name.c,那么“%”就是“name”,“$$$$”生成一个随机编号,第二行生成的文件有可能是“name.d.12345”。第三行使用sed命令做了一个替换,关于sed命令的用法请参看相关的使用文档。第四行就是删除临时文件。
这里解释一下$这个字符。在makefile中,用$来展开变量或调用函数等等。makefile中有一个开启二级扩展(Enable secondary expansion)的功能,当二级扩展未开启时,连续的两个$,即$$,用来表示$这个字符,类似于在前面加了一个转义字符。当二级扩展开启后,$$这种写法不再有转义字符的含义,如果这时再想使用$这个字符,需要写四个$,即$$$$。
上面这个例子未开启二级扩展,因此$$$$就表示连续的两个$字符,在Unix Shell中,$$表示要输出进程ID,这个例子把进程ID当作随机数使用
以上关于$字符的解释参考Four Dollar signs in Makefile
上面例子中的sed命令把依赖关系:
main.o : main.c defs.h
转换为了:
main.o main.d : main.c defs.h
这样我们的.d文件也会自动生成和自动更新了。当然,你在这个.d文件中可以加入的不只是依赖关系,命令也可一并加入,让每个.d文件都包含一个完赖的规则。一旦我们完成这个工作,接下来,我们就要把这些自动生成的规则放进我们的主Makefile中。我们可以使用Makefile的“include”命令,来引入别的Makefile文件,例如:
sources = foo.c bar.c
include $(sources:.c=.d)
上述语句中的“$(sources:.c=.d)”中的“.c=.d”的意思是做一个替换,把变量$(sources)中所有.c字串都替换成.d。当然,你得注意次序,因为include是按次来载入文件,最先载入的.d文件中的目标会成为默认目标。
书写命令
规则中的命令和Shell的命令是一致的。make会按顺序一条一条的执行命令,每条命令的开头必须以Tab键开头,除非命令是紧跟在依赖规则后面的分号后的。在命令之间中的空格或是空行会被忽略,但是如果该空格或空行是以Tab键开头的,那么make会认为其是一个空命令。
我们在UNIX下可能会使用不同的Shell,但是make的命令默认是被“/bin/sh”——UNIX的标准Shell解释执行的,除非你指定一个其它Shell。Makefile中“#”是注释符。
一、显示命令
通常,make会把要执行的命令输出到屏幕上。当我们用“@”字符在命令行前,那么,这个命令将不被make显示出来,最具代表性的例子是,我们用这个功能来像屏幕显示一些信息。如:
@echo 正在编译XXX模块......
当make执行时,会输出“正在编译XXX模块......”,但不会输出命令本身,如果没有“@”,那么,make将输出:
echo 正在编译XXX模块......`
正在编译XXX模块......
如果make执行时,带入make参数“-n”或“--just-print”,那么make只是显示命令,但不会执行命令。这个功能有利于我们调试Makefile,看看我们书写的命令是以什么顺序执行的。
而make参数“-s”或“--slient”则是全面禁止命令的显示。
二、命令执行
当依赖比目标更新时,也就是当规则中的目标需要被更新时,make会一条一条的执行其后的命令。需要注意的是,如果你要让上一条命令的结果应用在下一条命令时,你应该使用分号分隔这两条命令。比如你的第一条命令是cd命令,你希望第二条命令得在cd之后的基础上运行,那么你就不能把这两条命令写在两行上,而应该把这两条命令写在一行上,用分号分隔。如:
示例一:
exec:
cd /home/hchen
pwd
示例二:
exec:
cd /home/hchen; pwd
当我们执行“make exec”时,第一个例子中的cd没有作用,pwd会打印出当前的Makefile目录,而第二个例子中,cd就起作用了,pwd会打印出“/home/hchen”。
make一般是使用环境变量SHELL中所定义的系统Shell来执行命令,默认情况下使用UNIX的标准Shell——/bin/sh来执行命令。但在MS-DOS下有点特殊,因为MS-DOS下没有SHELL环境变量,当然你也可以指定。如果你指定了UNIX风格的目录形式,首先,make会在SHELL所指定的路径中找寻命令解释器,如果找不到,其会在当前盘符中的当前目录中寻找,如果再找不到,其会在PATH环境变量中所定义的所有路径中寻找。MS-DOS中,如果你定义的命令解释器没有找到,会给你的命令解释器加上诸如“.exe”、“.com”、“.bat”、“.sh”等后缀。
三、命令出错
每当命令运行完后,make会检测每个命令的返回码。如果命令返回成功,那么make会执行下一条命令,当规则中所有的命令成功返回后,这个规则就算是成功完成了。如果规则中的某个命令出错了(命令退出码非零),那么make就会终止执行当前规则,这将有可能终止所有规则的执行。
有些时候,命令的出错并不表示就是错误的。例如mkdir命令,我们一定需要建立一个目录,如果目录不存在,那么mkdir就成功执行,万事大吉,如果目录存在,那么就出错了。我们之所以使用mkdir的意思就是一定要有这样的一个目录,于是我们就不希望mkdir出错而终止规则的运行。
为了忽略命令的出错,我们可以在Makefile的命令行前加一个减号“-”(在Tab键之后),标记为不管命令出不出错都认为是成功的。如:
clean:
-rm -f *.o
还有一个全局的办法是,给make加上“-i”或是“--ignore-errors”参数,那么,Makefile中所有命令都会忽略错误。而如果一个规则是以“.IGNORE”作为目标的,那么这个规则中的所有命令将会忽略错误。这些是不同级别的防止命令出错的方法,你可以根据你的不同喜欢设置。
还要提一下make的参数“-k”或“--keep-going”,这两个参数表示,如果规则中的命令出错了,那么就终止该规则的执行,继续执行其它规则。
四、嵌套执行make
在一些大的工程中,我们会把我们不同模块或是不同功能的源文件放在不同的目录中,我们可以在每个目录中都书写一个该目录的Makefile,这有利于让我们的Makefile变得更加地简洁,而不至于把所有的东西全部写在一个Makefile中,这样会很难维护我们的Makefile,这个技术对于我们模块编译和分段编译有着非常大的好处。
例如,我们有一个子目录叫subdir,这个目录下有个Makefile文件,来指明了这个目录下文件的编译规则。那么我们总控的Makefile可以这样书写:
subsystem:
cd subdir && $(MAKE)
其等价于:
subsystem:
$(MAKE) -C subdir
定义$(MAKE)宏变量的意思是,也许我们的make需要一些参数,所以定义成一个变量比较利于维护。这两个例子的意思都是先进入“subdir”目录,然后执行make命令。
我们把这个Makefile叫做“总控Makefile”,总控Makefile的变量可以传递到下级的Makefile中(通过显示的声明),但是不会覆盖下层的Makefile中所定义的变量,除非指定了“-e”参数。
如果你要传递变量到下级Makefile中,那么你可以使用这样的声明:
export {variable ...}
如果你不想让某些变量传递到下级Makefile中,那么你可以这样声明:
unexport {variable ...}
如: 示例一:
export variable = value
等价于:
variable = value
export variable
等价于:
export variable := value
等价于:
variable := value
export variable
示例二:
export variable += value
等价于:
variable += value
export variable
如果你要传递所有的变量,那么只要一个export就行了,后面什么也不用跟。
需要注意的是,有两个变量,一个是SHELL,一个是MAKEFLAGS,这两个变量不管你是否export,其总是要传递到下层Makefile中,特别是MAKEFILES变量,其中包含了make的参数信息,如果我们执行“总控Makefile”时有make参数或是在上层Makefile中定义了这个变量,那么MAKEFILES变量将会是这些参数,并会传递到下层Makefile中,这是一个系统级的环境变量。
但是make命令中的有几个参数并不往下传递,它们是“-C”,“-f”,“-h”“-o”和“-W”(有关Makefile参数的细节将在后面说明),如果你不想往下层传递参数,那么,你可以这样来:
subsystem:
cd subdir && $(MAKE) MAKEFLAGS=
如果你定义了环境变量MAKEFLAGS,那么你得确信其中的选项是大家都会用到的,如果其中有“-t”,“-n”,和“-q”参数,那么make时可能会得到让人意想不到的结果。
还有一个在“嵌套执行”中比较有用的参数,“-w”或是“--print-directory”会在make的过程中输出一些信息,让你看到目前的工作目录。比如,如果我们的下级make目录是“/home/hchen/gnu/make”,如果我们使用“make -w”来执行,那么当进入该目录时,我们会看到:
make: Entering directory `/home/hchen/gnu/make'
而在完成下层make后离开目录时,我们会看到:
make: Leaving directory `/home/hchen/gnu/make'
当你使用“-C”参数来指定make下层Makefile时,“-w”会被自动打开的。如果参数中有“-s”(“--slient”)或是“--no-print-directory”,那么,“-w”总是失效的。
五、定义命令包
如果Makefile中出现一些相同命令序列,那么我们可以为这些相同的命令序列定义一个变量。定义这种命令序列的语法以“define”开始,以“endef”结束,如:
define run-yacc
yacc $(firstword $^)
mv y.tab.c $@
endef
“run-yacc”是这个命令包的名字。命令包的名字不能和Makefile中的变量重名。在“define”和“endef”之间的两行就是命令序列。这个命令包中的第一个命令是运行yacc程序,因为yacc程序总是生成“y.tab.c”的文件,所以第二行的命令就是把这个文件改改名字。下面是一个命令包的使用示例:
foo.c : foo.y
$(run-yacc)
可以看到,使用命令包就好像使用变量一样。在这个例子中,命令包“run-yacc”中的“$^”就是“foo.y”,“$@”就是“foo.c”(有关这种以“$”开头的特殊变量,我们会在后面介绍),make在执行命令包时,命令包中的每个命令会被依次独立执行。
使用变量
在Makefile中的定义的变量,就像C/C++中的宏一样,代表了一个文本字串。在Makefile中执行的时候其会展开在所使用的地方。与C/C++所不同的是,你可以在Makefile中改变其值。在Makefile中,变量可以使用在“目标”,“依赖”,“命令”或是Makefile的其它部分中。
变量的命名字可以包含字符、数字,下划线(可以是数字开头),但不应该含有“:”、“#”、“=”或是空字符(空格、回车等)。变量是大小写敏感的,“foo”、“Foo”和“FOO”是三个不同的变量名。推荐使用大小写搭配的变量名,这样可以避免和系统的变量冲突。
有一些变量是很奇怪字串,如“$<”、“$@”等,这些是自动化变量,会在后面介绍。
有三种变量:环境变量、在make的参数中定义的变量、在makefile中定义的变量。
同名变量优先级:make参数变量 > makefile中的变量 > 环境变量。
嵌套makefile时的变量传递:默认传递make参数变量,用export关键字传递makefile中的变量。这些传递的变量会被下一级makefile看作环境变量。
一、变量的基础
变量在声明时需要给予初值,而在使用时,需要给在变量名前加上“$”符号,但最好用小括号“()”或是大括号“{}”把变量给包括起来。如果你要使用真实的“$”字符,那么你需要用“$$”来表示。
变量可以使用在许多地方,如规则中的“目标”、“依赖”、“命令”以及新的变量中。先看一个例子:
objects = program.o foo.o utils.o
program : $(objects)
cc -o program $(objects)
$(objects) : defs.h
另外,给变量加上括号完全是为了更加安全地使用这个变量,在上面的例子中,如果你不想给变量加上括号,那也可以,但我还是强烈建议你给变量加上括号。
二、变量中的变量
我们可以使用其它变量来定义变量的值,在Makefile中有两种方式来在用变量定义变量的值。
第一种方式是使用“=”号,在“=”左侧是变量,右侧是变量的值。右侧变量的值可以定义在文件的任何一处,也就是说,右侧中的变量不一定非要是已定义好的值,其也可以使用后面定义的值。如:
foo = $(bar)
bar = $(ugh)
ugh = Huh?
all:
echo $(foo)
我们执行“make all”将会打出变量$(foo)的值是“Huh?”( $(foo)的值是$(bar),$(bar)的值是$(ugh),$(ugh)的值是“Huh?”)可见,用“=”定义的变量是可以使用后面定义的变量来定义的。
这种形式有不好的地方,那就是递归定义,例如:
CFLAGS = $(CFLAGS) -O
或:
A = $(B)
B = $(A)
这会让make陷入无限的变量展开过程中去。当然,我们的make是有能力检测这样的定义,并会报错。还有就是如果在变量中使用函数,那么,这种方式会让我们的make运行时非常慢,更糟糕的是,他会使用得两个make的函数“wildcard”和“shell”发生不可预知的错误。因为你不会知道这两个函数会被调用多少次。
为了避免上述问题,我们可以使用make中另一种方法定义变量。这种方法使用的是“:=”操作符,如:
x := foo
y := $(x) bar
x := later
其等价于:
y := foo bar
x := later
值得一提的是,这种方法,前面的变量不能使用后面的变量,只能使用前面已定义好了的变量。如果是这样:
y := $(x) bar
x := foo
那么,y的值是“bar”,而不是“foo bar”。
上面都是一些简单的变量使用,让我们来看一个复杂的例子。这个例子中包括了make的函数、条件表达式和一个系统变量“MAKELEVEL”的使用:
ifeq (0,${MAKELEVEL})
cur-dir := $(shell pwd)
whoami := $(shell whoami)
host-type := $(shell arch)
MAKE := ${MAKE} host-type=${host-type} whoami=${whoami}
endif
关于条件表达式和函数,我们在后面再说。对于系统变量“MAKELEVEL”,其意思是,如果我们的make有一个嵌套执行的动作(参见前面的“嵌套使用make”),那么,这个变量会记录了我们的当前Makefile的调用层数。
下面再介绍两个定义变量时我们需要知道的,请先看一个例子,如果我们要定义一个变量,其值是一个空格,那么我们可以这样定义:
nullstring :=
space := $(nullstring) #end of the line
或者:
nullstring :=
space := $(nullstring) $(nullstring)
nullstring是一个空变量,其中什么也没有,而我们的space的值是一个空格。在操作符的右边是很难描述一个空格的,但这里采用的技术很管用。先用一个空变量标明变量的值开始了,后面采用“#”注释符来表示变量定义的终止。这样,我们可以定义出值是一个空格的变量。请注意这里关于“#”的使用,注释符“#”的这种特性值得我们注意,如果我们这样定义一个变量:
dir :=/foo/bar #directory to put the frobs in
dir这个变量的值是“/foo/bar ”,注意后面还跟了4个空格。如果我们使用这样的变量来指定目录——“$(dir)/file”那么就完蛋了。
还有一个比较有用的操作符是“?=”。例如:FOO ?= bar。其含义是,如果FOO没有被定义过,那么变量FOO的值就是“bar”,如果FOO先前被定义过,那么这条语将什么也不做,其等价于:
ifeq ($(origin FOO), undefined)
FOO = bar
endif
三、变量高级用法
这里介绍两种变量的高级使用方法。第一种方法是变量值的替换,格式是“$(var:a=b)”或是“${var:a=b}”,意思是,把变量“var”中所有以“a”结尾的字符串替换成“b”字符串。这里的“结尾”意思是后面是“空格”或“结束符”。
看一个例子:
foo := a.o b.o c.o
bar := $(foo:.o=.c)
这个示例中,我们先定义了一个“$(foo)”变量,第二行是把“$(foo)”中结尾的“.o”全部替换成“.c”,所以我们的“$(bar)”的值就是“a.c b.c c.c”。
另外一种变量替换的技术是以“静态模式”(参见前面章节)定义的,如:
foo := a.o b.o c.o
bar := $(foo:%.o=%.c)
这依赖于被替换字串中的有相同的模式,模式中必须包含一个“%”字符,这个例子同样让$(bar)变量的值为“a.c b.c c.c”。
第二种高级用法是——“把变量的值再当成变量”。例如:
x = y
y = z
a := $($(x))
在这个例子中,$(x)的值是“y”,所以$($(x))就是$(y),于是$(a)的值就是“z”。(注意,是“x=y”,而不是“x=$(y)”)
还可以使用更多的层次:
x = y
y = z
z = u
a := $($($(x)))
再复杂一点,我们在变量定义中加上函数:
x = variable1
variable2 := Hello
y = $(subst 1,2,$(x))
z = y
a := $($($(z)))
这个例子中,$($($(z)))扩展为$($(y)),而其再次被扩展为$($(subst 1,2,$(x)))。$(x)的值是variable1,subst函数把variable1中的所有1字串替换成2字串,于是,variable1变成variable2,再取其值,所以,最终,$(a)的值就是$(variable2)的值——Hello。(喔,好不容易)
也可以使用多个变量来组成一个变量的名字,然后再取其值:
first_second = Hello
a = first
b = second
all = $($a_$b)
这里的“$a_$b”组成了“first_second”,于是,$(all)的值就是“Hello”。
再来看一个变量、函数与条件语句一同使用的例子:
ifdef do_sort
func := sort
else
func := strip
endif
bar := a d b g q c
foo := $($(func) $(bar))
这个示例中,如果定义了“do_sort”,那么foo := $(sort a d b g q c),于是$(foo)的值就是“a b c d g q”,而如果没有定义“do_sort”,那么foo := $(sort a d b g q c)调用的就是strip函数。
“把变量的值再当成变量”这种用法,同样可以用在操作符的左边:
dir = foo
$(dir)_sources := $(wildcard $(dir)/*.c)
define $(dir)_print
lpr $($(dir)_sources)
endef
这个例子中定义了三个变量:“dir”,“foo_sources”和“foo_print”。
四、追加变量值
我们可以使用“+=”操作符给变量追加值,如:
objects = main.o foo.o bar.o utils.o
objects += another.o
于是,我们的$(objects)值变成了“main.o foo.o bar.o utils.o another.o”(another.o被追加进去了)。
上面这个例子等价于下面这种写法:
objects = main.o foo.o bar.o utils.o
objects := $(objects) another.o
所不同的是,使用“+=”更为简洁。
如果变量之前没有定义过,那么,“+=”会自动变成“=”,如果前面有变量定义,那么“+=”会继承于前次操作的赋值符。如果前一次的是“:=”,那么“+=”会以“:=”作为其赋值符,如:
variable := value
variable += more
等价于:
variable := value
variable := $(variable) more
但如果是这种情况:
variable = value
variable += more
由于前次的赋值符是“=”,所以“+=”也会以“=”来做为赋值,那么岂不会发生变量的递补归定义吗,这是我们不希望看到的,所幸make会为我们解决这个问题。
五、override指示符
如果有变量是通过make的命令行参数设置的,那么Makefile中对这个变量的赋值会被忽略。如果你想在Makefile中设置这类参数的值,那么,你可以使用“override”指示符。其语法是:
override {variable} = {value}
或
override {variable} := {value}
或
override {variable} += {more text}
对于多行的变量定义,我们用define指示符,在define指示符前,也同样可以使用overide指示符,如:
override define foo
bar
endef
六、多行变量
还有一种设置变量值的方法是使用define关键字。使用define关键字设置变量的值可以有换行,这有利于定义一系列的命令(前面我们讲过“命令包”的技术就是利用define实现的)。
define后面跟的是变量的名字,以endef关键字结束定义。其工作方式和“=”操作符一样。变量的值可以包含函数、命令、文字,或是其它变量。因为命令需要以Tab键开头,所以如果你用define定义的命令变量中没有以Tab键开头,那么make就不会把其认为是命令。
下面的这个示例展示了define的用法:
define two-lines
echo foo
echo $(bar)
endef
七、环境变量
make运行时的系统环境变量可以在make开始运行时被载入到Makefile文件中,但是如果Makefile中已定义了这个变量,或是这个变量由make命令行带入,那么系统的环境变量的值将被覆盖。(如果make指定了“-e”参数,那么,系统环境变量将覆盖Makefile中定义的变量)
因此,如果我们在环境变量中设置了“CFLAGS”环境变量,那么我们就可以在所有的Makefile中使用这个变量。这对于我们使用统一的编译参数有比较大的好处。如果Makefile中定义了CFLAGS,那么则会使用Makefile中的这个变量,如果没有定义则使用系统环境变量的值,很像“全局变量”和“局部变量”的特性。
当make嵌套调用时(参见前面的“嵌套调用”章节),上层Makefile中定义的变量会以系统环境变量的方式传递到下层的Makefile中。当然,默认情况下,只有通过命令行设置的变量会被传递。而定义在文件中的变量,如果要向下层Makefile传递,则需要使用exprot关键字来声明。
八、目标变量
在Makefile中定义的变量都是“全局变量”,在整个文件中都可以访问这些变量。然而“自动化变量”除外,例如“$<”这样的变量。自动化变量属于“规则型变量”,这种变量的值依赖于规则的目标和依赖的定义。
我样同样可以为某个目标设置局部变量,这种变量被称为目标变量(Target-specific Variable),它可以和“全局变量”同名,因为它的作用范围只在这条规则以及连带规则中,所以它的值也只在作用范围内有效,不会影响规则链以外的“全局变量”的值。
目标变量的语法是:
{target ...} : {variable-assignment}
或
{target ...} : override {variable-assignment}
{variable-assignment}可以是前面讲过的各种赋值表达式,如“=”、“:=”、“+=”和“?=”。第二个语法是针对于make命令行带入的变量,或是系统环境变量。
这个特性非常的有用,当我们设置了这样一个变量,这个变量会作用到由这个目标所引发的所有的规则中去。如:
prog : CFLAGS = -g
prog : prog.o foo.o bar.o
$(CC) $(CFLAGS) prog.o foo.o bar.o
prog.o : prog.c
$(CC) $(CFLAGS) prog.c
foo.o : foo.c
$(CC) $(CFLAGS) foo.c
bar.o : bar.c
$(CC) $(CFLAGS) bar.c
在这个示例中,不管全局的$(CFLAGS)的值是什么,在prog目标,以及其所引发的所有规则中(prog.o foo.o bar.o的规则),$(CFLAGS)的值都是“-g”。
九、模式变量
在GNU的make中,还支持模式变量(Pattern-specific Variable)。通过目标变量我们可以了解到变量可以定义在某个目标上。模式变量的好处就是,我们可以给定一种“模式”,可以把变量定义在符合这种模式的所有目标上。
我们知道,make的“模式”一般是至少含有一个“%”的,所以,我们可以以如下方式给所有以.o结尾的目标定义目标变量:
%.o : CFLAGS = -O
同样,模式变量的语法和“目标变量”一样:
{pattern ...} : {variable-assignment}
或
{pattern ...} : override {variable-assignment}
使用条件判断
使用条件判断,可以让make根据运行时的不同情况选择不同的执行分支。条件表达式可以是比较变量的值,或者是比较变量和常量的值。
一、示例
下面的例子,判断$(CC)变量是否等于“gcc”,如果是的话,则使用GNU函数编译目标。
libs_for_gcc = -lgnu
normal_libs =
#在规则中使用条件语句
foo: $(objects)
ifeq ($(CC),gcc)
$(CC) -o foo $(objects) $(libs_for_gcc)
else
$(CC) -o foo $(objects) $(normal_libs)
endif
在上面的这个例子中,目标“foo”可以根据变量“$(CC)”值来选取不同的函数库来编译程序。
我们可以从上面的示例中看到三个关键字:ifeq、else和endif。ifeq表示条件语句的开始,并指定一个条件表达式。表达式包含两个参数,以逗号分隔,表达式以圆括号括起。else表示条件表达式为假的情况。endif表示一个条件语句的结束。
我们可以把上面的那个例子写得更简洁一些:
libs_for_gcc = -lgnu
normal_libs =
#在规则外使用条件语句
ifeq ($(CC),gcc)
libs=$(libs_for_gcc)
else
libs=$(normal_libs)
endif
foo: $(objects)
$(CC) -o foo $(objects) $(libs)
二、语法
条件表达式的语法为:
{conditional-directive}
{text-if-true}
endif
以及:
{conditional-directive}
{text-if-true}
else
{text-if-false}
endif
其中{conditional-directive}表示条件语句。条件语句有四个关键字。
第一个是“ifeq”,比较参数“arg1”和“arg2”的值是否相同。
ifeq ({arg1}, {arg2})
ifeq '{arg1}' '{arg2}'
ifeq "{arg1}" "{arg2}"
ifeq "{arg1}" '{arg2}'
ifeq '{arg1}' "{arg2}"
我们还可以在参数中使用make的函数。如:
ifeq ($(strip $(foo)),)
{text-if-empty}
endif
这个示例中使用了“strip”函数,如果这个函数的返回值是空,那么{text-if-empty}就生效。
第二个条件关键字是“ifneq”,和“ifeq”是相反的。语法是:
ifneq ({arg1}, {arg2})
ifneq '{arg1}' '{arg2}'
ifneq "{arg1}" "{arg2}"
ifneq "{arg1}" '{arg2}'
ifneq '{arg1}' "{arg2}"
第三个条件关键字是“ifdef”。语法是:
ifdef {variable-name}
如果变量{variable-name}的值非空,那到表达式为真。否则,表达式为假。当然,{variable-name}同样可以是一个函数的返回值。注意,ifdef只是测试一个变量是否有值,其并不会把变量扩展到当前位置。来看两个例子:
#示例一:
bar =
foo = $(bar)
ifdef foo
frobozz = yes
else
frobozz = no
endif
#示例二:
foo =
ifdef foo
frobozz = yes
else
frobozz = no
endif
第一个例子中,“$(frobozz)”值是“yes”,第二个则是“no”。
第四个条件关键字是“ifndef”,和“ifdef”是相反的。语法是:
ifndef {variable-name}
在{conditional-directive}这一行上,多余的空格是被允许的,但是不能以Tab键做为开始(不然就被认为是命令)。而注释符“#”同样也是安全的。“else”和“endif”也一样,只要不是以Tab键开始就行了。
特别注意的是,make是在读取Makefile时就计算条件表达式的值,并根据条件表达式的值来选择语句,所以,你最好不要把自动化变量(如“$@”等)放入条件表达式中,因为自动化变量是在运行时才有的。
而且,为了避免混乱,make不允许把整个条件语句分成两部分放在不同的文件中。
使用函数
一、函数的调用语法
函数调用,和变量的使用一样,也是以“$”来标识的。语法如下:
$({function} {arguments})
或
$<{function} {arguments}}
这里,{function}就是函数名,make支持的函数不多。{arguments}是函数的参数,参数间以逗号“,”分隔,而函数名和参数之间以“空格”分隔。函数调用以“$”开头,以圆括号或花括号把函数名和参数括起。函数中的参数可以使用变量,如“$(subst a,b,$(x))”这样的形式。
来看一个例子:
comma:= ,
empty:=
space:= $(empty) $(empty)
foo:= a b c
bar:= $(subst $(space),$(comma),$(foo))
在这个示例中,$(comma)的值是一个逗号。$(space)使用了$(empty)定义了一个空格,$(foo)的值是“a b c”,$(bar)的定义用,调用了函数“subst”,这是一个替换函数,这个函数有三个参数,第一个参数是被替换字串,第二个参数是替换字串,第三个参数是替换操作作用的字串。这个函数也就是把$(foo)中的空格替换成逗号,所以$(bar)的值是“a,b,c”。
二、字符串处理函数
-
$(subst {from},{to},{text})
字符串替换函数。
功能:把字符串{text}中的{from}替换成{to}。
返回:被替换过后的字符串。
示例:
$(subst ee,EE,feet on the street)把“feet on the street”中的“ee”替换成“EE”,返回结果是“fEEt on the strEEt”。
-
$(patsubst {pattern},{replacement},{text})
模式字符串替换函数。
功能:查找{text}中的单词(单词以“空格”、“Tab”或“回车”“换行”分隔)是否符合模式{pattern},如果匹配的话,则以{replacement}替换。{pattern}可以包括通配符“%”,表示任意长度的字串。如果{replacement}中也包含“%”,那么{replacement}中的这个“%”将是{pattern}中的那个“%”所代表的字串。(可以用“\”来转义,以“\%”来表示真实含义的“%”字符)
返回:被替换过后的字符串。示例:
$(patsubst %.c,%.o,x.c.c bar.c)把字符串“x.c.c bar.c”符合模式%.c的单词替换成%.o,返回结果是“x.c.o bar.o”
备注:
这和我们前面“变量”章节说过的相关知识有点相似。如:```makefile “$(var:{pattern}={replacement})”
相当于
“\((patsubst {pattern},{replacement},\)(var))”,
“$(var: {suffix}={replacement})”
相当于
“\((patsubst %{suffix},%{replacement},\)(var))”。 ```
-
$(strip {string})
去空格函数。
功能:去掉{string}字符串中开头和结尾的空字符。
返回:被去掉空格的字符串值。
示例:
$(strip a b c )把字符串“a b c ”去到开头和结尾的空格,结果是“a b c”。
-
$(findstring {find},{in})
查找字符串函数。
功能:在字串{in}中查找{find}字串。
返回:如果找到,那么返回{find},否则返回空字符串。
示例:
$(findstring a,a b c)
$(findstring a,b c)第一个函数返回“a”字符串,第二个返回空字符串
-
$(filter {pattern...},{text})
过滤函数。
功能:以{pattern}模式过滤{text}字符串中的单词,保留符合模式{pattern}的单词。可以有多个模式。
返回:符合模式{pattern}的字串。
示例:makefile sources := foo.c bar.c baz.s ugh.h foo: $(sources) cc $(filter %.c %.s,$(sources)) -o foo\((filter %.c %.s,\)(sources))返回的值是“foo.c bar.c baz.s”。
-
$(filter-out {pattern...},{text})
反过滤函数。
功能:以{pattern}模式过滤{text}字符串中的单词,去除符合模式{pattern}的单词。可以有多个模式。
返回:不符合模式{pattern}的字符串。
示例:```makefile objects=main1.o foo.o main2.o bar.o mains=main1.o main2.o
$(filter-out \((mains),\)(objects))
返回值是“foo.o bar.o”。
```
-
$(sort {list})
排序函数。 功能:给字符串{list}中的单词排序(升序),去掉{list}中相同的单词。
返回:排序后的字符串。
示例:$(sort foo bar lose)返回“bar foo lose” 。 -
$(word {n},{text})
取单词函数。
功能:取字符串{text}中第{n}个单词。(从1开始)
返回:字符串{text}中第{n}个单词。如果{n}比{text}中的单词数要大,那么返回空字符串。
示例:$(word 2, foo bar baz)返回值是“bar”。 -
$(wordlist {s},{e},{text})
取单词串函数。
功能:从字符串{text}中取从{s}开始到{e}的单词串。{s}和{e}是一个数字。
返回:字符串{text}中从{s}到{e}的单词字串。如果{s}比{text}中的单词数要大,那么返回空字符串。如果{e}大于{text}的单词数,那么返回从{s}开始,到{text}结束的单词串。
示例:$(wordlist 2, 3, foo bar baz)返回值是“bar baz”。 -
$(words {text})
单词个数统计函数。
功能:统计{text}中字符串中的单词个数。
返回:返回{text}中的单词数。
示例:$(words, foo bar baz)返回值是“3”。
备注:如果我们要取{text}中最后的一个单词,我们可以这样:$(word $(words {text}),{text})。 -
$(firstword {text})、 取首单词函数。
功能:取字符串{text}中的第一个单词。
返回:返回字符串{text}的第一个单词。
示例:$(firstword foo bar)返回值是“foo”。
备注:这个函数可以用word函数来实现:$(word 1,{text})。
以上,是所有的字符串操作函数,如果搭配混合使用,可以完成比较复杂的功能。这里,举一个实际的例子。我们知道,make使用“VPATH”变量来指定“依赖文件”的搜索路径。于是,我们可以利用这个搜索路径来指定编译器对头文件的搜索路径参数CFLAGS,如:
override CFLAGS += $(patsubst %,-I%,$(subst :, ,$(VPATH)))
如果我们的“\((VPATH)”值是“src:../headers”,那么“\)(patsubst %,-I%,\((subst :, ,\)(VPATH)))”将返回“-Isrc -I../headers”,这正是cc或gcc搜索头文件路径的参数。
三、文件名和目录操作函数
下面我们要介绍的函数主要是处理文件名的。每个函数的参数字符串都会被当做一个或是一系列的文件名来对待。
-
$(dir {names...})取目录函数。
功能:从文件名序列{names}中取出目录部分。目录部分是指最后一个反斜杠(“/”)之前的部分。如果没有反斜杠,那么返回“./”。
返回:文件名序列{names}的目录部分。
示例:$(dir src/foo.c hacks)返回值是“src/ ./”。 -
$(notdir {names...})
取文件名函数。
功能:从文件名序列{names}中取出非目录部分。非目录部分是指最后一个反斜杠(“/”)之后的部分。
返回:文件名序列{names}的非目录部分。
示例:$(notdir src/foo.c hacks)返回值是“foo.c hacks”。 -
$(suffix {names...})
取后缀函数。
功能:从文件名序列{names}中取出各个文件名的后缀。
返回:文件名序列{names}的后缀序列,如果文件没有后缀,则返回空字串。
示例:$(suffix src/foo.c src-1.0/bar.c hacks)返回值是“.c .c”。 -
$(basename {names...})取前缀函数。
功能:从文件名序列{names}中取出各个文件名的前缀部分。
返回:文件名序列{names}的前缀序列,如果文件没有前缀,则返回空字串。
示例:$(basename src/foo.c src-1.0/bar.c hacks)返回值是“src/foo src-1.0/bar hacks”。 -
$(addsuffix {suffix},{names...})加后缀函数。
功能:把后缀{suffix}加到{names}中的每个单词后面。
返回:加过后缀的文件名序列。
示例:$(addsuffix .c,foo bar)返回值是“foo.c bar.c”。 -
$(addprefix {prefix},{names...})加前缀函数。
功能:把前缀{prefix}加到{names}中的每个单词后面。
返回:加过前缀的文件名序列。
示例:$(addprefix src/,foo bar)返回值是“src/foo src/bar”。 -
$(join {list1},{list2})连接函数。
功能:把{list2}中的单词对应地加到{list1}的单词后面。如果{list1}的单词个数要比{list2}的多,那么{list1}中的多出来的单词将保持原样。如果{list2}的单词个数要比{list1}多,那么{list2}多出来的单词将被复制到{list1}中。
返回:连接过后的字符串。
示例:$(join aaa bbb , 111 222 333)返回值是“aaa111 bbb222 333”。
四、foreach函数
foreach函数是用来做循环用的,Makefile中的foreach函数几乎是完全仿照Unix标准Shell(/bin/sh)中的for语句,或是C-Shell(/bin/csh)中的foreach语句而构建的。它的语法是:
$(foreach {var},{list},{text})
这个函数的意思是,把参数{list}中的单词逐一取出放到参数{var}所指定的变量中,然后再执行{text}所包含的表达式。每一次{text}会返回一个字符串。循环过程中,{text}所返回的每个字符串会以空格分隔。当整个循环结束时,{text}所返回的每个字符串所组成的整个字符串(以空格分隔)将会是foreach函数的返回值。
所以,{var}最好是一个变量名,{list}可以是一个表达式,而{text}中一般会使用{var}这个参数来依次枚举{list}中的单词。举个例子:
names := a b c d
files := $(foreach n,$(names),$(n).o)
上面的例子中,\((name)中的单词会被挨个取出,并存到变量“n”中,“\)(n).o”每次根据“\((n)”计算出一个值,这些值以空格分隔,最后作为foreach函数的返回,所以,\)(files)的值是“a.o b.o c.o d.o”。
注意,foreach中的{var}参数是一个临时的局部变量。foreach函数执行完后,参数{var}的变量将不再起作用,其作用域只在foreach函数当中。
五、if函数
if函数很像条件语句ifeq。if函数的语法是:
$(if {condition},{then-part})
或
$(if {condition},{then-part},{else-part})
可见,if函数可以包含“else”部分。{condition}参数是if的表达式,如果其返回的为非空字符串,那么这个表达式就相当于返回真,这时{then-part}会被计算,否则{else-part}会被计算。
如果{condition}为真(非空字符串),那么{then-part}会是整个if函数的返回值;如果{condition}为假(空字符串),那么{else-part}会是整个if函数的返回值,此时如果{else-part}没有被定义,那么整个函数返回空字串。
六、call函数
call函数是一个可以用来创建新函数的函数。你可以写一个非常复杂的表达式,在这个表达式中,你可以定义许多参数,然后你可以用call函数来向这个表达式传递参数。其语法是:
$(call {expression},{parm1},{parm2},{parm3}...)
当make执行这个函数时,{expression}的参数,如\((1),\)(2),$(3)等,会被参数{parm1},{parm2},{parm3}依次取代。而{expression}的返回值就是call函数的返回值。例如:
reverse = $(1) $(2)
foo = $(call reverse,a,b)
foo的值就是“a b”。参数的次序是可以自定义的,不一定是顺序的,如:
reverse = $(2) $(1)
foo = $(call reverse,a,b)
此时的foo的值就是“b a”。
七、origin函数
origin函数不像其它的函数,他并不操作变量的值,他只是告诉你你的这个变量是从哪里来的。语法是:
$(origin {variable})
{variable}是变量的名字,而不应该是引用。所以不要在{variable}中使用“$”字符。Origin函数会以其返回值来告诉你这个变量的“出生情况”,下面是origin函数的返回值:
- “undefined”
如果{variable}从来没有定义过,origin函数返回这个值“undefined”。 - “default”
如果{variable}是一个默认的定义,比如“CC”这个变量,这种变量我们将在后面讲述。 - “environment”
如果{variable}是一个环境变量,并且当Makefile被执行时,“-e”参数没有被打开。 - “file” 如果{variable}这个变量被定义在Makefile中。
- “command line” 如果{variable}这个变量是被命令行定义的。
- “override” 如果{variable}是被override指示符重新定义的。
- “automatic” 如果{variable}是一个命令运行中的自动化变量。关于自动化变量将在后面讲述。
这些信息对于我们编写Makefile是非常有用的。假设我们有一个Makefile,其中包含了一个定义文件Make.def。在Make.def中定义了一个变量“bletch”,而我们的环境中也有一个环境变量“bletch”,此时我们想判断一下,如果变量来源于环境,那么我们就重定义这个变量,如果来源于Make.def或是命令行等非环境的,那么我们就不重新定义它。于是,在我们的Makefile中,我们可以这样写:
ifdef bletch
ifeq "$(origin bletch)" "environment"
bletch = barf, gag, etc.
endif
当然,你也许会说,使用override关键字不就可以重新定义环境中的变量了吗?为什么需要使用这样的步骤?是的,我们用override是可以达到这样的效果,可是override过于粗暴,它同时会把从命令行定义的变量也覆盖了,而我们只想重新定义环境传来的,而不想重新定义命令行传来的。
八、shell函数
shell函数的参数是Shell命令。它和反引号“`”是相同的功能。shell函数把执行操作系统命令后的输出作为返回值返回。于是,我们可以用操作系统命令以及字符串处理命令awk,sed等等命令来生成一个变量,如:
contents := $(shell cat foo)
files := $(shell echo *.c)
注意,这个函数会新生成一个Shell程序来执行命令,所以要注意其运行性能。如果你的Makefile中有一些比较复杂的规则,并大量使用了这个函数,那么对于你的系统性能是有害的。特别是Makefile的隐晦的规则可能会让你的shell函数执行的次数比你想像的多得多。
九、控制make的函数
make提供了一些函数来控制make的运行。通常,你需要检测一些运行Makefile时的运行时信息,并且根据这些信息来决定是让make继续执行还是停止。
-
$(error {text ...})
产生一个致命的错误并使make停止执行,{text ...}是错误信息。注意,error函数不会在一被使用就会产生错误信息,所以如果你把其定义在某个变量中,并在后续的脚本中使用这个变量,那么也是可以的。例如:示例一:
makefile ifdef ERROR_001 $(error error is $(ERROR_001)) endif示例二:
makefile ERR = $(error found an error!) .PHONY: err err: ; $(ERR)示例一会在变量ERROR_001定义了后产生error调用,而示例二则在目标err被执行时才发生error调用。
-
$(warning {text ...})
这个函数很像error函数,只是它并不会让make退出,只是输出一段警告信息,而make继续执行。
其他函数
$(wildcard *.c)
wildcard函数用来展开通配符。
make的运行
一般来说,最简单的就是直接在命令行下输入make命令,make命令会去找当前目录下的makefile来执行。有时你也许只想让make重新编译某些文件,而不是整个工程。有的时候你有几套编译规则,你想在不同的时候使用不同的编译规则,等等。本章节就是讲述如何使用make命令的。
一、make的退出码
make命令执行后有三个退出码:
0 —— 表示成功执行。
1 —— 如果make运行时出现任何错误,返回1。
2 —— 如果你使用了make的“-q”选项,并且make使得一些目标不需要更新,那么返回2。
Make的相关参数我们会在后续章节中讲述。
二、指定Makefile
前面我们说过,GNU make寻找默认Makefile的规则是在当前目录下依次找三个文件——“GNUmakefile”、“makefile”和“Makefile”。
我们也可以通过使用make的“-f”、“--file”或者“--makefile”参数给make指定Makefile。例如,我们有个makefile的名字是“hchen.mk”,那么我们可以这样来让make来执行这个文件:
make –f hchen.mk
(???如果在make的命令行是,你不只一次地使用了“-f”参数,那么,所有指定的makefile将会被连在一起传递给make执行。)
三、指定目标
一般来说,make的默认目标是makefile中的第一个目标,而其它目标一般是由这个目标连带出来的。你可以指示make,让其完成你所指定的目标。要达到这一目的很简单,需在make命令后直接跟目标的名字就可以完成(如前面提到的“make clean”形式)。
任何在makefile中的目标都可以被指定成最终目标(除了以“-”打头,或是包含了“=”的目标,因为有这些字符的目标,会被解析成命令行参数或是变量),甚至没有被我们明确写出来的目标也可以成为make的最终目标。也就是说,只要make可以找到隐含规则,那么这个隐含目标同样可以被指定成最终目标。
有一个make的环境变量叫“MAKECMDGOALS”,这个变量中会存放你所指定的最终目标的列表。如果在命令行上没有指定目标,那么这个变量是空值。这个变量可以让你使用在一些比较特殊的情形下。比如下面的例子:
sources = foo.c bar.c
ifneq ( $(MAKECMDGOALS),clean)
include $(sources:.c=.d)
endif
基于上面的这个例子,只要我们输入的命令不是“make clean”,那么makefile会自动包含“foo.d”和“bar.d”这两个makefile。
使用指定最终目标的方法可以很方便地让我们编译我们的程序,例如下面这个例子:
.PHONY: all
all: prog1 prog2 prog3 prog4
在上面这个例子中,我们可以使用“make all”命令来编译所有的目标(如果把all置成第一个目标,那么只需执行“make”),我们也可以使用“make prog2”来单独编译目标“prog2”。
在Unix软件发布时,特别是GNU这种开源软件发布时,其makefile都包含了编译、安装、打包等功能。以下是一些约定俗成的伪目标:
- “all”
这个伪目标是所有目标的目标,其功能一般是编译所有的目标。 - “clean”
这个伪目标功能是删除所有被make创建的文件。 - “install”
这个伪目标功能是安装已编译好的程序,其实就是把目标执行文件拷贝到指定的目标中去。 - “print”
这个伪目标的功能是列出改变过的源文件。 - “tar”
这个伪目标功能是把源程序打包备份。也就是一个tar文件。 - “dist”
这个伪目标功能是创建一个压缩文件,一般是把tar文件压成Z文件。或是gz文件。 - “TAGS”
这个伪目标功能是更新所有的目标,以备完整地重编译使用。 - “check”和“test”
这两个伪目标一般用来测试makefile的流程。
如果你要在makefile里加上这些功能,最好使用上面的名字命名你的目标,这样会规范一些。规范的好处就是不用解释,大家都明白。而且如果你的makefile中有这些功能,一是很实用,二是可以显得你的makefile很专业。
四、检查规则
有时候我们不想执行makefile,只想检查一下命令执行的顺序。我们可以使用make命令的下列参数:
-
“-n”
“--just-print”
“--dry-run”
“--recon”
这些参数只是打印命令,但不执行。 -
“-t”
“--touch”
这个参数是把目标文件的时间更新,但不更改目标文件。也就是说,make不真正编译目标,只是把目标变成已编译过的状态。 -
“-q”
“--question”
这个参数的行为是找目标。如果目标存在,那么make什么也不会输出,也不会执行编译。如果目标不存在,其会打印出一条出错信息。 -
“-W {file}”
“--what-if={file}”
“--assume-new={file}”
“--new-file={file}”
这个参数需要指定一个文件。一般是是源文件(或依赖文件),Make会根据规则推导来运行依赖于这个文件的命令,一般来说,可以和“-n”参数一同使用,来查看这个依赖文件所发生的规则命令。另外一个很有意思的用法是结合“-p”和“-v”来输出makefile被执行时的信息(这个将在后面讲述)。
五、make的参数
下面列举了所有GNU make 3.80版本的参数定义。
-
“-b”
“-m”
这两个参数的作用是忽略和其它版本make的兼容性。 -
“-B”
“--always-make”
认为所有的目标都需要更新(重新编译)。 -
“-C {dir}”
“--directory={dir}”
指定makefile的目录。如果有多个“-C”参数,make的解释是后面的路径以前面的作为相对路径,并以最后的目录作为被指定目录。如:“make –C ~hchen/test –C prog”等价于“make –C ~hchen/test/prog”。 -
“—debug[={options}]”
输出make的调试信息。它有几种不同的级别可供选择,如果没有参数,那就是输出最简单的调试信息。下面是{options}的取值:
a — 也就是all,输出所有的调试信息。
b — 也就是basic,只输出简单的调试信息。即输出不需要重编译的目标。
v — 也就是verbose,在b选项的级别之上。输出的信息包括哪个makefile被解析,不需要被重编译的依赖文件(或是依赖目标)等。
i — 也就是implicit,输出所以的隐含规则。
j — 也就是jobs,输出执行规则中命令的详细信息,如命令的PID、返回码等。
m — 也就是makefile,输出make读取makefile,更新makefile,执行makefile的信息。 -
“-d”
相当于“--debug=a”。 -
“-e”
“--environment-overrides”
指明环境变量的值覆盖makefile中定义的变量的值。 -
“-f={file}”
“--file={file}”
“--makefile={file}”
指定需要执行的makefile。 -
“-h”
“--help”
显示帮助信息。 -
“-i”
“--ignore-errors”
在执行时忽略所有的错误。 -
“-I {dir}”
“--include-dir={dir}”
指定一个被包含makefile的搜索目标。可以使用多个“-I”参数来指定多个目录。 -
“-j [{jobsnum}]”
“--jobs[={jobsnum}]”
指同时运行命令的个数。如果没有这个参数,make运行命令时能运行多少就运行多少。如果有一个以上的“-j”参数,那么仅最后一个“-j”才是有效的。(注意这个参数在MS-DOS中是无用的) -
“-k”
“--keep-going”
出错也不停止运行。如果生成一个目标失败了,那么依赖于其上的目标就不会被执行了。 -
“-l {load}”
“--load-average[={load}]”
“—max-load[={load}]”
指定make运行命令的负载。 -
“-n”
“--just-print”
“--dry-run”
“--recon”
仅输出执行过程中的命令序列,但并不执行。 -
“-o {file}”
“--old-file={file}”
“--assume-old={file}”
不重新生成的指定的{file},即使这个目标的依赖文件新于它。 -
“-p”
“--print-data-base”
输出makefile中的所有数据,包括所有的规则和变量。这个参数会让一个简单的makefile都会输出一堆信息。
如果你只是想输出信息而不想执行makefile,你可以使用“make -qp”命令。
如果你想查看执行makefile前的预设变量和规则,你可以使用“make –p –f /dev/null”。这个参数输出的信息会包含着你的makefile文件的文件名和行号,用这个参数来调试你的makefile会是很有用的,特别是当你的环境变量很复杂的时候。 -
“-q”
“--question”
不运行命令,也不输出。仅仅是检查所指定的目标是否需要更新。如果是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}”
假定目标{file}需要更新,如果和“-n”选项使用,那么这个参数会输出该目标更新时的运行动作。如果没有“-n”那么就像运行UNIX的“touch”命令一样,使得{file}的修改时间为当前时间。 -
“--warn-undefined-variables”
只要make发现有未定义的变量,那么就输出警告信息。
隐含规则
本章讲述的就是一些在Makefile中的隐含的,不需要我们再写出来的规则。
“隐含规则”是一种不需要写出来的规则。例如,把.c文件编译成.o文件这一规则,我们不用写出来,make会自动推导出这种规则,并生成我们需要的.o文件。
“隐含规则”会使用一些系统变量,我们可以改变这些系统变量的值来修改隐含规则运行时的参数。如系统变量“CFLAGS”可以控制编译时的编译器参数。
(???我们还可以利用“模式规则”写自己的隐含规则。用“后缀规则”来定义隐含规则会有许多的限制。使用“模式规则”会更回得智能和清楚,但“后缀规则”可以用来保证我们Makefile的兼容性。)
一、使用隐含规则
我们有下面这样一个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。
在make的“隐含规则库”中,每一条隐含规则都有其顺序,越靠前的是越被经常使用的,所以,这会导致有些时候即使我们显示地指定了目标依赖,make也不会管。如下面这条规则(没有命令):
foo.o : foo.p
依赖文件“foo.p”(Pascal程序的源文件)有可能变得没有意义。如果目录下存在了“foo.c”文件,那么我们的隐含规则一样会生效,并会通过“foo.c”调用C的编译器生成foo.o文件。因为,在隐含规则中,Pascal的规则出现在C的规则之后。所以,make找到可以生成foo.o的C的规则后就不再寻找下一条规则了。如果你确实不希望任何隐含规则推导,那么你就不要只写出“依赖规则”,而不写命令。
二、隐含规则一览
这里我们将讲述所有预先设置(也就是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。具体的细节,我们会在后面讲述。
以下是常用的隐含规则:
1、编译C程序的隐含规则。
“{n}.o”目标的依赖会自动推导为“{n}.c”,并且其生成命令是“$(CC) –c $(CPPFLAGS) $(CFLAGS)”
2、编译C++程序的隐含规则。
“{n}.o”的目标的依赖目标会自动推导为“{n}.cc”或是“{n}.C”,并且其生成命令是“$(CXX) –c $(CPPFLAGS) $(CFLAGS)”。(建议使用“.cc”作为C++源文件的后缀,而不是“.C”)
3、编译Pascal程序的隐含规则。
“{n}.o”的目标的依赖目标会自动推导为“{n}.p”,并且其生成命令是“$(PC) –c $(PFLAGS)”。
4、编译Fortran/Ratfor程序的隐含规则。
“{n}.o”的目标的依赖目标会自动推导为“{n}.r”或“{n}.F”或“{n}.f”,并且其生成命令是:
“.f” “$(FC) –c $(FFLAGS)”
“.F” “$(FC) –c $(FFLAGS) $(CPPFLAGS)”
“.f” “$(FC) –c $(FFLAGS) $(RFLAGS)”
5、预处理Fortran/Ratfor程序的隐含规则。
“{n}.f”的目标的依赖目标会自动推导为“{n}.r”或“{n}.F”。这个规则只是转换Ratfor或有预处理的Fortran程序到一个标准的Fortran程序。其使用的命令是:
“.F” “$(FC) –F $(CPPFLAGS) $(FFLAGS)”
“.r” “$(FC) –F $(FFLAGS) $(RFLAGS)”
6、编译Modula-2程序的隐含规则。
“{n}.sym”的目标的依赖目标会自动推导为“{n}.def”,并且其生成命令是:“$(M2C) $(M2FLAGS) $(DEFFLAGS)”。“{n.o}” 的目标的依赖目标会自动推导为“{n}.mod”,并且其生成命令是:“$(M2C) $(M2FLAGS) $(MODFLAGS)”。
7、汇编和汇编预处理的隐含规则。
“{n}.o” 的目标的依赖目标会自动推导为“{n}.s”,默认使用编译品“as”,并且其生成命令是:“$(AS) $(ASFLAGS)”。“{n}.s” 的目标的依赖目标会自动推导为“{n}.S”,默认使用C预编译器“cpp”,并且其生成命令是:“$(AS) $(ASFLAGS)”。
8、链接Object文件的隐含规则。
“{n}”目标依赖于“{n}.o”,通过运行C的编译器来运行链接程序生成(一般是“ld”),其生成命令是:“$(CC) $(LDFLAGS) {n}.o $(LOADLIBES) $(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)相关联,那么,你最好写出自己的生成规则,不然,隐含规则会报错的。
9、Yacc C程序时的隐含规则。
“{n}.c”的依赖文件被自动推导为“n.y”(Yacc生成的文件),其生成命令是:“$(YACC) $(YFALGS)”。(“Yacc”是一个语法分析器,关于其细节请查看相关资料)
10、Lex C程序时的隐含规则。
“{n}.c”的依赖文件被自动推导为“n.l”(Lex生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。(关于“Lex”的细节请查看相关资料)
11、Lex Ratfor程序时的隐含规则。
“{n}.r”的依赖文件被自动推导为“n.l”(Lex生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。
12、从C程序、Yacc文件或Lex文件创建Lint库的隐含规则。
“{n}.ln” (lint生成的文件)的依赖文件被自动推导为“n.c”,其生成命令是:“$(LINT) $(LINTFALGS) $(CPPFLAGS) -i”。对于“{n}.y”和“{n}.l”也是同样的规则。
三、隐含规则使用的变量
隐含规则基本上都使用了一些预先设置的变量,你可以在你的makefile中改变这些变量的值,或是在make的命令行中传入这些值,或是在你的环境变量中设置这些值。无论怎么样,只要设置了这些特定的变量,那么就会对隐含规则起作用。你也可以利用make的“-R”或“--no–builtin-variables”参数来取消你所定义的变量对隐含规则的作用。
例如,第一条隐含规则——编译C程序的隐含规则的命令是“$(CC) –c $(CFLAGS) $(CPPFLAGS)”。Make默认的编译命令是“cc”,如果你把变量“$(CC)”重定义成“gcc”,把变量“$(CFLAGS)”重定义成“-g”,那么,隐含规则中的命令全部会以“gcc –c -g $(CPPFLAGS)”来执行了。
我们可以把隐含规则中使用的变量分成两种:一种是命令相关的,如“CC”;一种是参数相的关,如“CFLAGS”。下面是所有隐含规则中会用到的变量:
1、关于命令的变量。
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”。
2、关于命令参数的变量
下面的这些变量都是上面的命令的参数。其默认值都是空。
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文法分析器参数。
四、隐含规则链
有些时候,一个目标可能被一系列的隐含规则所作用。例如,一个.o文件的生成,可能会是先通过Yacc的.y文件生成.c,然后再被C的编译器生成。我们把这一系列的隐含规则叫做“隐含规则链”。
在上面的例子中,如果文件.c存在,那么就直接调用C编译器的隐含规则。如果没有.c文件,但有一个.y文件,那么Yacc的隐含规则会被调用,生成.c文件,然后再调用C编译的隐含规则生成.o文件,最终达到目标。
我们把这种.c文件叫做中间目标。不管怎么样,make会努力自动推导生成目标的一切方法,不管中间目标有多少。所以有些时候可能会让你觉得奇怪,怎么我的目标会这样生成?怎么我的makefile发疯了?
在默认情况下,中间目标和一般的目标在两个地方有所不同:(1)只有中间目标不存在时才会引发中间规则。(2)只要成功生成最终目标,所产生的中间目标文件会被以“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),于是优化过的规则就不会生成中间文件。
五、定义模式规则
你可以使用模式规则来定义一个隐含规则。在模式规则中,目标的定义需要有"%"字符。"%"的意思是表示一个或多个任意字符。在依赖中同样可以使用"%",只是依赖中的"%"的取值取决于其目标。
有一点需要注意的是,"%"的展开发生在变量和函数的展开之后,变量和函数的展开发生在make载入Makefile时,而模式规则中的"%"则发生在运行时。
1、模式规则介绍
模式规则中,至少在规则的目标定义中要包含"%",否则就是一般的规则。目标中的"%"定义表示对文件名的匹配,"%"表示长度任意的非空字符串。例如:"%.c"表示以".c"结尾的文件名(文件名的长度至少为3),而"s.%.c"则表示以"s."开头,".c"结尾的文件名(文件名的长度至少为5)。
如果"%"定义在目标中,那么,目标中的"%"的值决定了依赖中的"%"的值。例如有一个模式规则如下:
%.o : %.c ; {command ......}
这个模式规则指出了怎么从所有的.c文件生成相应的.o文件的规则。如果要生成的目标是"a.o b.o",那么"%c"就是"a.c b.c"。
一旦依赖目标中的"%"模式被确定,make就会被要求去匹配当前目录下所有的文件名,一旦找到,make就会执行规则下的命令。所以在模式规则中,目标可能会有多个。
2、模式规则示例
下面这个例子表示了,把所有的.c文件都编译成.o文件.
%.o : %.c
$(CC) -c $(CFLAGS) $(CPPFLAGS) $< -o $@
其中,"$@"和"$<"是"自动化变量",后面会详细讲述。
下面的这个例子中有两个模式目标:
%.tab.c %.tab.h: %.y
bison -d $<
这条规则告诉make把所有的.y]文件都以"bison -d {n}.y"执行,然后生成"{n}.tab.c"和"{n}.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文件的依赖关系也写好,那么所有的目标都会得到满足。)
3、自动化变量
在上述的模式规则中,目标和依赖都是一系列文件,那么我们如何书写一个命令来完成从不同的依赖生成相应的目标?
自动化变量就是完成这个功能的。在前面,我们已经对自动化变量有所提及,所谓自动化变量,就是这种变量会把模式中所定义的一系列的文件自动地挨个取出,直至所有的符合模式的文件都取完了。这种自动化变量只应出现在规则的命令中。
下面是所有的自动化变量及其说明(注意:“集合”和“依次取出”是不同的):
$@
表示规则中的目标文件集。展开时依次取出。
$%
仅当目标是库文件时,表示规则中的目标成员名。例如,如果一个目标是"foo.a(bar.o)",那么,"$%"就是"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",那么"$(@D)"就是"dir",而如果"$@"中没有包含斜杠的话,其值就是"."(当前目录)。
$(@F)
表示"$@"的文件部分,如果"$@"值是"dir/foo.o",那么"$(@F)"就是"foo.o","$(@F)"相当于函数"$(notdir $@)"。
"$(*D)"
"$(*F)"
和上面所述的同理,也是取文件的目录部分和文件部分。对于上面的那个例子,"$(*D)"返回"dir",而"$(*F)"返回"foo"
"$(%D)"
"$(%F)"
分别表示了函数包文件成员的目录部分和文件部分。这对于形同"archive(member)"形式的目标中的"member"中包含了不同的目录很有用。
"$({D)"
"$({F)"
分别表示依赖文件的目录部分和文件部分。
"$(^D)"
"$(^F)"
分别表示所有依赖文件的目录部分和文件部分。(无相同的)
"$(+D)"
"$(+F)"
分别表示所有依赖文件的目录部分和文件部分。(可以有相同的)
"$(?D)"
"$(?F)"
分别表示被更新的依赖文件的目录部分和文件部分。
最后,对于"$<",为了避免产生不必要的麻烦,我们最好给$后面的那个特定字符都加上圆括号。比如,"$(<)"就要比"$<"要好一些。
还得要注意的是,这些变量只使用在规则的命令中,而且一般都是"显式规则"和"静态模式规则"(参见前面"书写规则"一章)。在隐含规则中并没有意义。
4、模式的匹配
一般来说,一个目标的模式有一个有前缀或是后缀的"%",或是没有前后缀,直接就是一个"%"。因为"%"代表一个或多个字符,所以在定义好的模式中,我们把"%"所匹配的内容叫做"词干"(stem),例如"%.c"所匹配的文件"test.c"中"test"就是"词干"。目标和依赖目标中同时有"%"时,目标的"词干"会传给依赖,作为依赖中的"词干"。
当一个模式匹配包含有斜杠(实际也不经常包含)的文件时,在进行模式匹配时目录部分会首先被移开,然后进行匹配,成功后,再把目录加回去。在进行"词干"的传递时,我们需要知道这个步骤。例如有一个模式"e%t",文件"src/eat"匹配于该模式,于是"src/a"就是其"词干",如果这个模式定义在依赖目标中,而被依赖于这个模式的目标中又有个模式"c%r",那么,目标就是"src/car"。("词干"被传递)
5、重载内建隐含规则
你可以重载内建的隐含规则(或是定义一个全新的),例如你可以重新构造和内建隐含规则不同的命令,如:
%.o : %.c
$(CC) -c $(CPPFLAGS) $(CFLAGS) -D$(date)
也可以取消内建的隐含规则,只要不在后面写命令就行。如:
%.o : %.s
同样,你也可以重新定义一个全新的隐含规则,其在隐含规则中的位置取决于你在哪里写下这个规则。朝前的位置就靠前。
六、老式的"后缀规则"
后缀规则是一个比较老式的定义隐含规则的方法。后缀规则会被模式规则逐步地取代。因为模式规则更强更清晰。为了和老版本的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不会用一个没有命令的后缀规则覆盖内建的隐含规则。
而要让make知道一些特定的后缀,我们可以使用伪目标".SUFFIXES"来定义或是删除,如:
.SUFFIXES: .hack .win
把后缀.hack和.win加入后缀列表中的末尾。
.SUFFIXES: #删除默认的后缀
.SUFFIXES: .c .o .h #定义自己的后缀
先清除默认后缀,后定义自己的后缀列表。
注意:你可以用".SUFFIXES"来改变后缀列表,但请不要改变变量"SUFFIXE"的值。
make的参数"-r"或"-no-builtin-rules"也会使用得默认的后缀列表为空。
七、隐含规则搜索算法
比如我们有一个目标叫T。下面是搜索目标T的规则的算法。请注意,在下面我们没有提到后缀规则,原因是在Makefile被载入内存时所有的后缀规则会被转换成模式规则。如果目标是"archive(member)"的函数库文件模式,那么这个算法会被运行两次,第一次是找目标T,如果没有找到的话,第二次会把"member"当作T来搜索。
1、把T的目录部分分离出来。叫D,而剩余部分叫N。(如:如果T是"src/foo.o",那么,D就是"src/",N就是"foo.o")
2、创建所有匹配于T或是N的模式规则列表。
3、如果在模式规则列表中有匹配所有文件的模式,如"%",那么从列表中移除其它的模式。
4、移除列表中没有命令的规则。
5、对于第一个在列表中的模式规则:
1)推导其"词干"S,S应该是T或N匹配于模式中"%"非空的部分。
2)计算依赖文件。把依赖文件中的"%"都替换成"词干"S。如果目标模式中没有包含斜框字符,而把D加在第一个依赖文件的开头。
3)测试是否所有的依赖文件都存在或是理当存在。(如果有一个文件被定义成另外一个规则的目标文件,或者是一个显式规则的依赖文件,那么这个文件就叫"理当存在"。)
4)如果所有的依赖文件存在或是理当存在,或是就没有依赖文件。那么这条规则将被采用,退出该算法。
6、如果经过第5步,没有模式规则被找到,那么就做更进一步的搜索。对于存在于列表中的第一个模式规则:
1)如果规则是终止规则,那就忽略它,继续下一条模式规则。
2)计算依赖文件。(同第5步)
3)测试所有的依赖文件是否存在或是理当存在。
4)对于不存在的依赖文件,递归调用这个算法查找他是否可以被隐含规则找到。
5)如果所有的依赖文件存在或是理当存在,或是就根本没有依赖文件。那么这条规则被采用,退出该算法。
7、如果没有隐含规则可以使用,查看".DEFAULT"规则,如果有,把".DEFAULT"的命令给T使用。
一旦规则被找到,就会执行相应的命令。直到此时,我们的自动化变量的值才会生成。
使用make更新函数库文件
函数库文件(Archive File)也就是对Object文件的打包。在Unix下,一般是由命令"ar"来完成打包工作。
一、函数库文件的成员
一个函数库文件可以由多个文件组成。你可以用如下格式指定函数库文件及其组成:
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)
二、函数库成员的隐含规则
当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
还有一个变量要注意的是"$%",这是专属函数库文件的自动化变量,有关其说明请参见"自动化变量"一节。
三、函数库文件的后缀规则
你可以使用"后缀规则"和"隐含规则"来生成函数库打包文件,如:
.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
四、注意事项
在进行函数库打包文件生成时,请小心使用make的并行机制("-j"参数)。如果多个ar命令在同一时间运行在同一个函数库打包文件上,就很有可以损坏这个函数库文件。所以,在make未来的版本中,应该提供一种机制来避免并行操作发生在函数打包文件上。但就目前而言,还是应该尽量不要使用"-j"参数。