变量 | 说明 |
---|---|
$@ |
表示规则中的目标。 |
$< |
表示规则中的第一个条件。 |
$? |
表示规则中所有比目标新的条件,组成一个列表,以空格分隔。 |
$^ |
表示规则中的所有条件,组成一个列表,以空格分隔。 |
1 | main: main.o stack.o maze.o |
可以改写成:
1 | main: main.o stack.o maze.o |
有时候希望只对更新过的条件进行操作,例如有一个库文件libsome.a依赖于几个目标文件:
1 | libsome.a: foo.o bar.o lose.o win.o |
变量名 | 说明 |
---|---|
AR |
静态库打包命令的名字,缺省值是ar 。 |
ARFLAGS |
静态库打包命令的选项,缺省值是rv 。 |
AS |
汇编器的名字,缺省值是as 。 |
ASFLAGS |
汇编器的选项,没有定义。 |
CC |
C编译器的名字,缺省值是cc 。 |
CFLAGS |
C编译器的选项,没有定义。 |
CXX |
C++编译器的名字,缺省值是g++ 。 |
CXXFLAGS |
C++编译器的选项,没有定义。 |
CPP |
C预处理器的名字,缺省值是$(CC) -E 。 |
CPPFLAGS |
C预处理器的选项,没有定义。 |
LD |
链接器的名字,缺省值是ld 。 |
LDFLAGS |
链接器的选项,没有定义。 |
TARGET |
_ARCH 和目标平台相关的命令行选项,没有定义。 |
OUTPUT |
_OPTION 输出的命令行选项,缺省值是-o $@ 。 |
LINK.o |
把.o文件链接在一起的命令行,缺省值是$(CC) $(LDFLAGS) $(TARGET_ARCH) 。 |
LINK.c |
把.c文件链接在一起的命令行,缺省值是$(CC) $(CFLAGS) $(CPPFLAGS) $(LDFLAGS) $(TARGET_ARCH) 。 |
LINK.cc |
把.cc文件(C++源文件)链接在一起的命令行,缺省值是$(CXX) $(CXXFLAGS) $(CPPFLAGS) $(LDFLAGS) $(TARGET_ARCH) 。 |
COMPILE.c |
编译.c文件的命令行,缺省值是$(CC) $(CFLAGS) $(CPPFLAGS) $(TARGET_ARCH) -c 。 |
COMPILE.cc |
编译.cc文件的命令行,缺省值是$(CXX) $(CXXFLAGS) $(CPPFLAGS) $(TARGET_ARCH) -c 。 |
RM |
删除命令的名字,缺省值是rm -f 。 |
函数调用,很像变量的使用,也是以“$”来标识的,其语法如下:
1 | $(<function> <arguments>) |
或是
1 | ${<function> <arguments>} |
这里,<function>就是函数名,make 支持的函数不多。<arguments>是函数的参数,参数间以逗号“,”分隔,而函数名和参数之间以“空格”分隔。函数调用以 “$” 开头,以 圆括号或花括号 把函数名和参数括起。感觉很像一个变量,是不是?函数中的参数可以使用变量,为了风格的统一,函数和变量的括号最好一样,如使用 $(subst a,b,$(x))
这样的形式,而不是 $(subst a,b,${x})
的形式。因为统一会更清楚,也会减少一些不必要的麻烦。
还是来看一个示例:
1 | comma:= , |
在这个示例中,$(comma)的值是一个逗号。$(space)使用了$(empty)定义了一个空格,$(foo)的值是“a b c”,$(bar)的定义用,调用了函数“subst”,这是一个替换函数,这个函数有三个参数,第一个参数是被替换字串,第二个参数是替换字串,第三个参数是替换操作作用的字串。这个函数也就是把$(foo)中的空格替换成逗号,所以$(bar)的值是“a,b,c”。
1 | $(subst <from>,<to>,<text>) |
$(subst ee,EE,feet on the street)
把“feet on the street”中的“ee”替换成“EE”,返回结果是“fEEt on the strEEt”。1 | $(patsubst <pattern>,<replacement>,<text>) |
名称:模式字符串替换函数——patsubst。
功能:查找<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”
备注: 这和我们前面“变量章节”说过的相关知识有点相似。
如:
$(var:<pattern>=<replacement>)
相当于 $(patsubst <pattern>,<replacement>,$(var))
而 $(var: <suffix>=<replacement>)
则相当于 $(patsubst %<suffix>,%<replacement>,$(var))
。
例如有: objects = foo.o bar.o baz.o
那么, $(objects:.o
.c)= 和 $(patsubst %.o,%.c,$(objects))
是一样的。
1 | $(strip <string>) |
$(strip a b c )
把字串“a b c ”去到开头和结尾的空格,结果是“a b c”。1 | $(findstring <find>,<in>) |
名称:查找字符串函数——findstring。
功能:在字串<in>中查找<find>字串。
返回:如果找到,那么返回<find>,否则返回空字符串。
示例:
1 | $(findstring a,a b c) |
第一个函数返回“a”字符串,第二个返回“”字符串(空字符串)
1 | $(filter <pattern...>,<text>) |
名称:过滤函数——filter。
功能:以<pattern>模式过滤<text>字符串中的单词, 保留 符合模式<pattern>的单词。可以有多个模式。
返回:返回符合模式<pattern>的字串。
示例:
1 | sources := foo.c bar.c baz.s ugh.h |
$(filter %.c %.s,$(sources))
返回的值是“foo.c bar.c baz.s”。
1 | $(filter-out <pattern...>,<text>) |
名称:反过滤函数——filter-out。
功能:以<pattern>模式过滤<text>字符串中的单词,去除符合模式<pattern>的单词。可以有多个模式。
返回:返回不符合模式<pattern>的字串。
示例:
1 | objects=main1.o foo.o main2.o bar.o |
$(filter-out $(mains),$(objects))
返回值是“foo.o bar.o”。
1 | $(sort <list>) |
$(sort foo bar lose)
返回“bar foo lose”。1 | $(word <n>,<text>) |
$(word 2, foo bar baz)
返回值是“bar”。1 | $(wordlist <s>,<e>,<text>) |
$(wordlist 2, 3, foo bar baz)
返回值是“bar baz”。1 | $(words <text>) |
$(words, foo bar baz)
返回值是“3”。$(word $(words <text>),<text>)
。1 | $(firstword <text>) |
以上,是所有的字符串操作函数,如果搭配混合使用,可以完成比较复杂的功能。
这里,举一个现实中应用的例子。我们知道,make 使用“VPATH”变量来指定“依赖文件”的搜索路径。于是,我们可以利用这个搜索路径来指定编译器对头文件的搜索路径参数 CFLAGS ,如:
1 | override CFLAGS += $(patsubst %,-I%,$(subst :, ,$(VPATH))) |
如果我们的“$(VPATH)”值是“src:…/headers”,那么 $(patsubst %,-I%,$(subst :, ,$(VPATH)))
将返回 -Isrc -I../headers
,这正是 cc 或 gcc 搜索头文件路径的参数。
下面我们要介绍的函数主要是处理文件名的。每个函数的参数字符串都会被当做一个或是一系列的文件名来对待。
1 | $(dir <names...>) |
$(dir src/foo.c hacks)
返回值是“src/ ./”。1 | $(notdir <names...>) |
$(notdir src/foo.c hacks)
返回值是“foo.c hacks”。1 | $(suffix <names...>) |
$(suffix src/foo.c src-1.0/bar.c hacks)
返回值是“.c .c”。1 | $(basename <names...>) |
$(basename src/foo.c src-1.0/bar.c hacks)
返回值是“src/foo src-1.0/bar hacks”。1 | $(addsuffix <suffix>,<names...>) |
$(addsuffix .c,foo bar)
返回值是“foo.c bar.c”。1 | $(addprefix <prefix>,<names...>) |
$(addprefix src/,foo bar)
返回值是“src/foo src/bar”。1 | $(join <list1>,<list2>) |
$(join aaa bbb , 111 222 333)
返回值是“aaa111 bbb222 333”。foreach 函数和别的函数非常的不一样。因为这个函数是用来做循环用的,Makefile中的 foreach 函数几乎是仿照于 Unix 标准 Shell(/bin/sh)中的 for 语句,或是 C-Shell (/bin/csh)中的 foreach 语句而构建的。它的语法是:
1 | $(foreach <var>,<list>,<text>) |
这个函数的意思是,把参数<list>中的单词逐一取出放到参数<var>所指定的变量中,然后再执行<text>所包含的表达式。每一次<text>会返回一个字符串,循环过程中,<text>的所返回的每个字符串会以空格分隔,最后当整个循环结束时,<text>所返回的每个字符串所组成的整个字符串(以空格分隔)将会是 foreach 函数的返回值。
所以,<var>最好是一个变量名,<list>可以是一个表达式,而<text>中一般会使用<var>这个参数来依次枚举<list>中的单词。举个例子:
1 | names := a b c d |
上面的例子中,$(name)中的单词会被挨个取出,并存到变量“n”中,“$(n).o”每次根据“$(n)”计算出一个值,这些值以空格分隔,最后作为 foreach 函数的返回,所以,$(files)的值是“a.o b.o c.o d.o”。
注意,foreach 中的<var>参数是一个临时的局部变量,foreach 函数执行完后,参数<var>的变量将不在作用,其作用域只在 foreach 函数当中。
if 函数很像 GNU 的 make 所支持的条件语句——ifeq,if 函数的语法是:
1 | $(if <condition>,<then-part>) |
或是:
1 | $(if <condition>,<then-part>,<else-part>) |
可见,if 函数可以包含“else”部分,或是不含。即 if 函数的参数可以是两个,也可以是三个。<condition>参数是 if 的表达式,如果其返回的为非空字符串,那么这个表达式就相当于返回真,于是,<then-part>会被计算,否则<else-part>会被计算。
而 if 函数的返回值是,如果<condition>为真(非空字符串),那个<then-part>会是整个函数的返回值,如果<condition>为假(空字符串),那么<else-part>会是整个函数的返回值,此时如果<else-part>没有被定义,那么,整个函数返回空字串。
所以,<then-part>和<else-part>只会有一个被计算。
call 函数是唯一一个可以用来 创建新的参数化的函数 。你可以写一个非常复杂的表达式,这个表达式中,你可以定义许多参数,然后你可以用 call 函数来向这个表达式传递参数。其语法是:
1 | $(call <expression>,<parm1>,<parm2>,<parm3>...) |
当 make 执行这个函数时,<expression>参数中的变量,如$(1),$(2),$(3)等,会被参数<parm1>,<parm2>,<parm3>依次取代。而<expression>的返回值就是 call 函数的返回值。例如:
1 | reverse = $(1) $(2) |
那么,foo 的值就是“a b”。当然,参数的次序是可以自定义的,不一定是顺序的,如:
1 | reverse = $(2) $(1) |
此时的 foo 的值就是“b a”。
origin 函数不像其它的函数,他并不操作变量的值,他只是告诉你你的这个变量是哪里来的。
其语法是:
1 | $(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 中,BEGIN:
ifdef bletch ifeq “$(origin bletch)” “environment” bletch = barf, gag, etc. endif endif
当然,你也许会说,使用 override 关键字不就可以重新定义环境中的变量了吗?为什么需要使用这样的步骤?是的,我们用 override 是可以达到这样的效果,可是 override 过于粗暴,它同时会把从命令行定义的变量也覆盖了,而我们只想重新定义环境传来的,而不想重新定义命令行传来的。
shell 函数也不像其它的函数。顾名思义,它的参数应该就是操作系统 Shell 的命令。它和反引号 `
是相同的功能。这就是说, shell 函数把执行操作系统命令后的输出作为函数返回 。于是,我们可以用操作系统命令以及字符串处理命令 awk,sed 等等命令来生成一个变量,如:
1 | contents := $(shell cat foo) |
注意,这个函数会新生成一个 Shell 程序来执行命令,所以你要注意其运行性能,如果你的Makefile 中有一些比较复杂的规则,并大量使用了这个函数,那么对于你的系统性能是有害的。特别是 Makefile 的隐晦的规则可能会让你的 shell 函数执行的次数比你想像的多得多。
make 提供了一些函数来控制 make 的运行。通常,你需要检测一些运行 Makefile 时的运行时信息,并且根据这些信息来决定,你是让 make 继续执行,还是停止。
1 | $(error <text ...>) |
产生一个致命的错误,<text …>是错误信息。注意,error 函数不会在一被使用就会产生错误信息,所以如果你把其定义在某个变量中,并在后续的脚本中使用这个变量,那么也是可以的。例如:
示例一:
1 | ifdef ERROR_001 |
示例二:
1 | ERR = $(error found an error!) |
示例一会在变量 ERROR001 定义了后执行时产生 error 调用,而示例二则在目标 err 被执行时才发生 error 调用。
1 | $(warning <text ...>) |
这个函数很像 error 函数,只是它并不会让 make 退出,只是输出一段警告信息,而 make 继续执行。
静态模式可以 更加容易地定义多目标的规则 ,可以让我们的规则变得更加的有弹性和灵活。我们还是先来看一下语法:
1 | <targets ...>: <target-pattern>: <prereq-patterns ...> |
这样描述这三个东西,可能还是没有说清楚,还是举个例子来说明一下吧。如果我们的<target-parrtern>定义成“%.o”,意思是我们的<target>集合中都是以“.o”结尾的,而如果我们的<prereq-parrterns>定义成“%.c”,意思是对<target-parrtern>所形成的目标集进行二次定义,其计算方法是,取<target-parrtern>模式中的%
(也就是去掉了".o"这个结尾),并为其加上".c"这个结尾,形成的新集合。
所以,我们的“目标模式”或是“依赖模式”中都应该有 %
这个字符,如果你的文件名中有 %
那么你可以使用反斜杠“\”进行转义,来标明真实的%
字符。
看一个例子:
1 | objects = foo.o bar.o |
上面的例子中,指明了我们的目标从$object 中获取,“%.o”表明要所有以“.o”结尾的目标,也就是“foo.o bar.o”,也就是变量 $object 集合的模式,而依赖模式“%.c”则取模式“%.o”的 %
,也就是“foo bar”,并为其加下“.c”的后缀,于是,我们的依赖目标就是“foo.c bar.c”。于是,上面的规则展开后等价于下面的规则:
1 | foo.o : foo.c |
试想,如果我们的“%.o”有几百个,那种我们只要用这种很简单的“静态模式规则”就可以写完一堆规则,实在是太有效率了。“静态模式规则”的用法很灵活,如果用得好,那会一个很强大的功能。
可以用gcc的-M
选项自动生成目标文件和源文件的依赖关系。例如:
1 | $ gcc -M main.c |
-M
选项把stdio.h以及它所包含的系统头文件也找出来了,如果我们不需要输出系统头文件的依赖关系,可以用-MM
选项:
1 | $ gcc -MM *.c |
然后可以把这些规则包含到 Makefile 中,例如:
1 | all: main |
sources变量包含我们要编译的所有.c文件,$(sources:.c=.d)是一个变量替换语法,把sources变量中每一项的.c替换成.d,所以include这一句相当于:
1 | include main.d stack.d maze.d |
类似于C语言的#include指示,这里的include表示包含三个文件main.d、stack.d和maze.d,这三个文件也应该符合Makefile的语法。如果现在你的工作目录是干净的,只有.c文件、.h文件和Makefile,运行make的结果是:
1 | $ make |
一开始找不到.d文件,所以make会报警告。但是make会把include的文件名也当作目标来尝试更新,而这些目标适用模式规则%.d: %c
,所以执行它的命令列表。
-n
选项只打印要执行的命令,而不会真的执行命令,这个选项有助于我们检查Makefile写得是否正确,由于Makefile不是顺序执行的,用这个选项可以先看看命令的执行顺序,确认无误了再真正执行命令。
-C
选项可以切换到另一个目录执行那个目录下的Makefile,比如先退到上一级目录再执行我们的Makefile(假设我们的源代码都放在testmake目录下):
1 | $ cd .. |
一些规模较大的项目会把不同的模块或子系统的源代码放在不同的子目录中,然后在每个子目录下都写一个该目录的Makefile,然后在一个总的Makefile中用make -C
命令执行每个子目录下的Makefile。例如Linux内核源代码根目录下有Makefile,子目录fs、net等也有各自的Makefile,二级子目录fs/ramfs、net/ipv4等也有各自的Makefile。
在make命令行也可以用=
或:=
定义变量,如果这次编译我想加调试选项-g
,但我不想每次编译都加-g
选项,可以在命令行定义CFLAGS变量,而不必修改Makefile编译完了再改回来:
1 | $ make CFLAGS=-g |
如果在Makefile中也定义了CFLAGS变量,则命令行的值覆盖Makefile中的值。