makefile学习整理

声明:此文章非原创,系对网络资源的学习整理。

1.makefile语法

1.1规则

target...  :  prerequisites ...

command

 

target : 目标文件,可以是Object File,也可以是执行文件,还可以是一个标签(Label)。

prerequisites : 要生成那个target所需要的文件或是目标。

command : make需要执行的命令(任意的Shell命令,一定要以一个Tab键作为开头)。

这是一个文件的依赖关系,也就是说,target这一个或多个的目标文件依赖于prerequisites中的文件,其生成规则定义在command中。说白一点就是说,prerequisites中如果有一个以上的文件比target文件要新的话,command所定义的命令就会被执行。

1.2变量

1.2.1变量定义

Makefile中的定义的变量,就像是C/C++语言中的宏一样,他代表了一个文本字串,在Makefile中执行的时候其会自动原模原样地展开在所使用的地方。其与C/C++所不同的是,你可以在Makefile中改变其值。在Makefile中,变量可以使用在“目标”,“依赖目标”,“命令”或是 Makefile的其它部分中。变量的命名字可以包含字符、数字,下划线(可以是数字开头),但不应该含有“:”、“#”、“=”或是空字符(空格、回车等)。变量是大小写敏感的,“foo”、“Foo”和“FOO”是三个不同的变量名。传统的Makefile的变量名是全大写的命名方式,但我推荐使用大小写搭配的变量名,如:MakeFlags。这样可以避免和系统的变量冲突,而发生意外的事情。

1.2.2变量的使用

变量在声明时需要给予初值,而在使用时,需要给在变量名前加上$”符号,但最好用小括号“()”或是大括号“{}”把变量给包括起来。如果你要使用真实的“$”字符,那么你需要用“$$”来表示。变量可以使用在许多地方,如规则中的“目标”、“依赖”、“命令”以及新的变量中。

 

先看一个例子:

 

objects = program.o foo.o utils.o

program : $(objects)

cc -o program $(objects)

 

$(objects) : defs.h

变量会在使用它的地方精确地展开,就像C/C++中的宏一样,例如:

foo = c

prog.o : prog.$(foo)

$(foo)$(foo) -$(foo) prog.$(foo)

 

展开后得到:

prog.o : prog.c

cc -c prog.c

 

当然,千万不要在你的Makefile中这样干,这里只是举个例子来表明Makefile中的变量在使用处展开的真实样子。可见其就是一个“替代”的原理。另外,给变量加上括号完全是为了更加安全地使用这个变量,在上面的例子中,如果你不想给变量加上括号,那也可以,但我还是强烈建议你给变量加上括号。

1.2.3变量中的变量

在定义变量的值时,我们可以使用其它变量来构造变量的值,在Makefile中有两种方式来在用变量定义变量的值。

先看第一种方式,也就是简单的使用=”号,在“=”左侧是变量,右侧是变量的值,右侧变量的值可以定义在文件的任何一处,也就是说,右侧中的变量不一定非要是已定义好

的值,其也可以使用后面定义的值。如:

 

foo = $(bar)

bar = $(ugh)

ugh = Huh?

 

all:

echo $(foo)

 

我们执行make all”将会打出变量$(foo)的值是“Huh?”( $(foo)的值是$(bar)$(bar)的值是$(ugh)$(ugh)的值是“Huh?”)可见,变量是可以使用后面的变量来定义的。这个功能有好的地方,也有不好的地方,好的地方是,我们可以把变量的真实值推到后面来定义,如:

 

CFLAGS = $(include_dirs) -O

include_dirs = -Ifoo -Ibar

 

CFLAGS”在命令中被展开时,会是“-Ifoo -Ibar -O”。但这种形式也有不好的地方,那就是递归定义,如:

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 是一个Empty变量,其中什么也没有,而我们的space的值是一个空格。因为在操作符的右边是很难描述一个空格的,这里采用的技术很管用,先用一个 Empty变量来标明变量的值开始了,而后面采用“#”注释符来表示变量定义的终止,这样,我们可以定义出其值是一个空格的变量。请注意这里关于“#”的使用,注释符“#”的这种特性值得我们注意,如果我们这样定义一个变量:

 

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

1.2.4变量的传递

在一些大的工程中,我们会把我们不同模块或是不同功能的源文件放在不同的目录中,我们可以在每个目录中都书写一个该目录的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”参数,那么将会有让你意想不到的结果,或许会让你异常地恐慌。

还有一个在“嵌套执行”中比较有用的参数,“-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”总是失效的。

1.2.5变量值得追加

我们可以使用+=”操作符给变量追加值,如:

 

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会自动为我们解决这个问题,我们不必担心这个问题。

1.2.6特殊变量“VPATH

在一些大的工程中,有大量的源文件,我们通常的做法是把这许多的源文件分类,并存放在不同的目录中。所以,当make需要去找寻文件的依赖关系时,你可以在文件前加上路径,但最好的方法是把一个路径告诉make,让make在自动去找。

Makefile文件中的特殊变量“VPATH”就是完成这个功能的,如果没有指明这个变量,make只会在当前的目录中去找寻依赖文件和目标文件。如果定义了这个变量,那么,make就会在当当前目录找不到的情况下,到所指定的目录中去找寻文件了。

   VPATH = src:../headers

上面的的定义指定两个目录,src”和“../headers”,make会按照这个顺序进行搜索。目录由“冒号”分隔。(当然,当前目录永远是最高优先搜索的地方)

1.2.7目标变量

前面我们所讲的在Makefile中定义的变量都是“全局变量”,在整个文件,我们都可以访问这些变量。当然,“自动化变量”除外,如“$<”等这种类量的自动化变量就属于“规则型变量”,这种变量的值依赖于规则的目标和依赖目标的定义。

当然,我样同样可以为某个目标设置局部变量,这种变量被称为Target-specific Variable”,它可以和“全局变量”同名,因为它的作用范围只在这条规则以及连带规则中,所以其值也只在作用范围内有效。而不会影响规则链以外的全局变量的值。

其语法是:

 

<target ...> : <variable-assignment>

<target ...> : overide <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

1.2.8模式变量

GNUmake中,还支持模式变量(Pattern-specific Variable),通过上面的目标变量中,我们知道,变量可以定义在某个目标上。模式变量的好处就是,我们可以给定一种“模式”,可以把变量定义在符合这种模式的所有目标上。

我们知道,make的“模式”一般是至少含有一个“%”的,所以,我们可以以如下方式给所有以[.o]结尾的目标定义目标变量:

%.o : CFLAGS = -O

同样,模式变量的语法和“目标变量”一样:

 

<pattern ...> : <variable-assignment>

<pattern ...> : override <variable-assignment>

 

override同样是针对于系统环境传入的变量,或是make命令行指定的变量。

1.2.9自动化变量

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

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

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

 

$@

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

 

$%

仅当目标是函数库文件中,表示规则中的目标成员名。例如,如果一个目标是"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)"

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

 

最后想提醒一下的是,对于"$<",为了避免产生不必要的麻烦,我们最好给$后面的那个特定字符都加上圆括号,比如,"$(< )"就要比"$<"要好一些。

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

1.2.10变量高级用法

这里介绍两种变量的高级使用方法,第一种是变量值的替换。

我们可以替换变量中的共有的部分,其格式是$(var:a=b)”或是“${var:a=b}”,其意思是,把变量“var”中所有以“a”字串“结尾”的“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)))

 

这里的$(a)的值是“u”,相关的推导留给读者自己去做吧。

让我们再复杂一点,使用上“在变量定义中使用变量”的第一个方式,来看一个例子:

 

x = $(y)

y = z

z = Hello

a := $($(x))

 

这里的$($(x))被替换成了$($(y)),因为$(y)值是“z”,所以,最终结果是:a:=$(z),也就是“Hello”。

再复杂一点,我们再加上函数:

 

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”。

再来看看结合第一种技术的例子:

 

a_objects := a.o b.o c.o

1_objects := 1.o 2.o 3.o

sources := $($(a1)_objects:.o=.c)

 

这个例子中,如果$(a1)的值是“a”的话,那么,$(sources)的值就是“a.c b.c c.c”;如果$(a1)的值是“1”,那么$(sources)的值是“1.c 2.c 3.c”。

再来看一个这种技术和“函数”与“条件语句”一同使用的例子:

 

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 bg q c),调用的就是strip函数。

当然,“把变量的值再当成变量”这种技术,同样可以用在操作符的左边:

 

dir = foo

$(dir)_sources := $(wildcard $(dir)/*.c)

define $(dir)_print

lpr $($(dir)_sources)

endef

 

这个例子中定义了三个变量:dir”,“foo_sources”和“foo_print”。

1.3条件表达式

条件表达式的语法为:

<conditional-directive>

 <text-if-true>

 endif

以及:

<conditional-directive>

 <text-if-true>

 else

 <text-if-false>

 endif

 

其中<conditional-directive>表示条件关键字,如“ifeq”。这个关键字有四个。

1.3.1 ifeq关键字

 

ifeq (<arg1>, <arg2> )

ifeq '<arg1>' '<arg2>'

ifeq "<arg1>" "<arg2>"

ifeq "<arg1>" '<arg2>'

ifeq '<arg1>' "<arg2>"

比较参数arg1”和“arg2”的值是否相同。当然,参数中我们还可以使用make的函数。如:

 

ifeq ($(strip $(foo)),)

<text-if-empty>

endif

这个示例中使用了strip”函数,如果这个函数的返回值是空(Empty),那么<text-if-empty>就生效。

 

1.3.2 ifneq关键字

 

ifneq (<arg1>, <arg2> )

ifneq '<arg1>' '<arg2>'

ifneq "<arg1>" "<arg2>"

ifneq "<arg1>" '<arg2>'

ifneq '<arg1>' "<arg2>"

 

其比较参数arg1”和“arg2”的值是否相同,如果不同,则为真。和“ifeq”类似。

 

1.3.3 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”。

1.3.4 ifndef关键字

 

ifndef <variable-name>

 

这个我就不多说了,和ifdef”是相反的意思。

 

<conditional-directive>这一行上,多余的空格是被允许的,但是不能以[Tab]键做为开始(不然就被认为是命令)。而注释符“#”同样也是安全的。“else”和“endif”也一样,只要不是以[Tab]键开始就行了。

特别注意的是,make是在读取Makefile时就计算条件表达式的值,并根据条件表达式的值来选择语句,所以,你最好不要把自动化变量(如“$@”等)放入条件表达式中,因为自动化变量是在运行时才有的。

而且,为了避免混乱,make不允许把整个条件语句分成两部分放在不同的文件中。

1.4 函数

1.4.1 函数定义

 

1.4.2 函数使用

函数调用,很像变量的使用,也是以$”来标识的,其语法如下:

$(<function> <arguments> )

或是

${<function> <arguments>}

 

这里,<function>就是函数名,make支持的函数不多。<arguments>是函数的参数,参数间以逗号“,”分隔,而函数名和参数之间以“空格”分隔。函数调用以“$”开头,以圆括号或花括号把函数名和参数括起。感觉很像一个变量,是不是?函数中的参数可以使用变量,为了风格的统一,函数和变量的括号最好一样,如使用“$(subst a,b,$(x))”这样的形式,而不是“$(subst a,b,${x})”的形式。因为统一会更清楚,也会减少一些不必要的麻烦。

1.5 文件包含

Makefile使用include关键字可以把别的Makefile包含进来,这很像C语言的#include,被包含的文件会原模原样的放在当前文件的包含位置。include的语法是:

    include<filename>filename可以是当前操作系统Shell的文件模式(可以保含路径和通配符)

include前面可以有一些空字符,但是绝不能是[Tab]键开始。include和可以用一个或多个空格隔开。举个例子,你有这样几个Makefilea.mkb.mkc.mk,还有一个文件叫foo.make,以及一个变量$(bar),其包含了e.mkf.mk,那么,下面的语句:

   

include foo.make *.mk $(bar)

等价于:

include foo.make a.mk b.mk c.mk e.mk f.mk

 

make命令开始时,会把找寻include所指出的其它Makefile,并把其内容安置在当前的位置。就好像C/C++#include指令一样。如果文件都没有指定绝对路径或是相对路径的话,make会在当前目录下首先寻找,如果当前目录下没有找到,那么,make还会在下面的几个目录下找:

1.如果make执行时,有“-I”或“--include-dir”参数,那么make就会在这个参数所指定的目录下去寻找。

2.如果目录/include(一般是:/usr/local/bin/usr/include)存在的话,make也会去找。

    

如果有文件没有找到的话,make会生成一条警告信息,但不会马上出现致命错误。它会继续载入其它的文件,一旦完成makefile的读取,make会再重试这些没有找到,或是不能读取的文件,如果还是不行,make才会出现一条致命信息。如果你想让make不理那些无法读取的文件,而继续执行,你可以在include前加一个减号“-”。如:

-include<filename>

其表示,无论include过程中出现什么错误,都不要报错继续执行。和其它版本make兼容的相关命令是sinclude,其作用和这一个是一样的。

 

1.6 注释

Makefile中只有行注释,和UNIXShell脚本一样,其注释是用“#”字符,这个就像C/C++中的“//”一样。如果你要在你的Makefile中使用“#”字符,可以用反斜框进行转义,如:“\#”。

1.7 通配符

 

"~" 波浪号(~”)字符在文件名中也有比较特殊的用途。如果是“~/test”,这就表示当前用户的$HOME目录下的test目录。而“~hchen/test”则表示用户hchen的宿主目录下的test目录。

"*" 通配符代替了你一系列的文件,如*.c”表示所以后缀为c的文件。

 

1.8 关键字

vpath

它可以指定不同的文件在不同的搜索目录中。这是一个很灵活的功能。它的使用方法有三种:

1. vpath < pattern> < directories> 为符合模式< pattern>的文件指定搜索目录<directories>

2. vpath < pattern>  清除符合模式< pattern>的文件的搜索目录。

3. vpath 清除所有已被设置好了的文件搜索目录。

 

vapth使用方法中的< pattern>需要包含“%”字符。“%”的意思是匹配零或若干字符,例如,“%.h”表示所有以“.h”结尾的文件。< pattern>指定了要搜索的文件集,而< directories>则指定了的文件集的搜索的目录。例如:

   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”目录。

 

1.9 目标(target

1.9.1 伪目标

最早先的一个例子中,我们提到过一个clean”的目标,这是一个“伪目标”,

clean:

rm *.o temp

 

正像我们前面例子中的clean”一样,即然我们生成了许多文件编译文件,我们也应该提供一个清除它们的“目标”以备完整地重编译而用。 (以“make clean”来使用该目标)

因为,我们并不生成clean”这个文件。“伪目标”并不是一个文件,只是一个标签,由于“伪目标”不是文件,所以make无法生成它的依赖关系和决定它是否要执行。我们只有通过显示地指明这个“目标”才能让其生效。当然,“伪目标”的取名不能和文件名重名,不然其就失去了“伪目标”的意义了。

当然,为了避免和文件重名的这种情况,我们可以使用一个特殊的标记.PHONY”来显示地指明一个目标是“伪目标”,向make说明,不管是否有这个文件,这个目标就是“伪目标”。

 

.PHONY : clean

 

只要有这个声明,不管是否有clean”文件,要运行“clean”这个目标,只有“make clean”这样。于是整个过程可以这样写:

 

.PHONY: clean

clean:

rm *.o temp

1.9.2多目标

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,后面的为参数。关于函数,将在后面讲述。这里的这个函数是截取字符串的意思,“$@”表示目标的集合,就像一个数组,“$@”依次取出目标,并执于命令。

1.9.3 静态模式

静态模式可以更加容易地定义多目标的规则,可以让我们的规则变得更加的有弹性和灵活。我们还是先来看一下语法:

 

<targets...>: <target-pattern>: <prereq-patterns ...>

<commands>

...

 

targets定义了一系列的目标文件,可以有通配符。是目标的一个集合。

target-parrtern是指明了targets的模式,也就是目标集模式。

prereq-parrterns是目标的依赖模式,它对target-parrtern形成的模式再进行一次依赖目标的定义。

这样描述这三个东西,可能还是没有说清楚,还是举个例子来说明一下吧。如果我们的<target-parrtern>定义成“%.o”,意思是我们的集合中都是以“.o”结尾的,而如果我们的<prereq-parrterns>定义成“%.c”,意思是对<target-parrtern>所形成的目标集进行二次定义,其计算方法是,取<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”,也就是变量$object集合的模式,而依赖模式“%.c”则取模式“%.o”的“%”,也就是“foobar”,并为其加下“.c”的后缀,于是,我们的依赖目标就是“foo.cbar.c”。而命令中的“$<”和“$@”则是自动化变量,“$<”表示所有的依赖目标集(也就是“foo.c bar.c”),“$@”表示目标集(也就是foo.o bar.o”)。于是,上面的规则展开后等价于下面的规则:

   foo.o : foo.c

           $(CC) -c $(CFLAGS) foo.c -o foo.o

   bar.o : bar.c

           $(CC) -c $(CFLAGS) bar.c -o bar.o

 

试想,如果我们的%.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))表示调用Makefilefilter函数,过滤“$filter”集,只要其中模式为“%.o”的内容。其的它内容,我就不用多说了吧。这个例字展示了Makefile中更大的弹性。

1.9.4 自动生成依赖性

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

 

于是由编译器自动生成的依赖关系,这样一来,你就不必再手动书写若干文件的依赖关系,而由编译器自动生成了。需要提醒一句的是,如果你使用GNUC/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联系在一起呢。因为这样一来,我们的Makefile也要根据这些源文件重新生成,让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命令的用法请参看相关的使用文档。第四行就是删除临时文件。

总而言之,这个模式要做的事就是在编译器生成的依赖关系中加入[.d]文件的依赖,即把依赖关系:

   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]文件中的目标会成为默认目标

1.10 命令

每条规则中的命令和操作系统Shell的命令行是一致的。make会一按顺序一条一条的执行命令,每条命令的开头必须以[Tab]键开头,除非,命令是紧跟在依赖规则后面的分号后的。在命令行之间中的空格或是空行会被忽略,但是如果该空格或空行是以Tab键开头的,那么make会认为其是一个空命令。

我们在UNIX下可能会使用不同的Shell,但是make的命令默认是被“/bin/sh”——UNIX的标准Shell解释执行的。除非你特别指定一个其它的Shell

1.10.1 显示命令

通常,make会把其要执行的命令行在命令执行前输出到屏幕上。当我们用“@”字符在命令行前,那么,这个命令将不被make显示出来,最具代表性的例子是,我们用这个功能来像屏幕显示一些信息。如:

   @echo 正在编译XXX模块......

 

make执行时,会输出“正在编译XXX模块......”字串,但不会输出命令,如果没有“@”,那么,make将输出:

   echo 正在编译XXX模块......

   正在编译XXX模块......

 

如果make执行时,带入make参数“-n”或“--just-print”,那么其只是显示命令,但不会执行命令,这个功能很有利于我们调试我们的Makefile,看看我们书写的命令是执行起来是什么样子的或是什么顺序的。

make参数“-s”或“--slient”则是全面禁止命令的显示。

1.10.2命令执行

当依赖目标新于目标时,也就是当规则的目标需要被更新时,make会一条一条的执行其后的命令。需要注意的是,如果你要让上一条命令的结果应用在下一条命令时,你应该使用分号分隔这两条命令。比如你的第一条命令是cd命令,你希望第二条命令得在cd之后的基础上运行,那么你就不能把这两条命令写在两行上,而应该把这两条命令写在一行上,用分号分隔。如:

   示例一:

       exec:

               cd /home/hchen

               pwd

   示例二:

       exec:

               cd /home/hchen; pwd

当我们执行make exec”时,第一个例子中的cd没有作用,pwd会打印出当前的Makefile目录,而第二个例子中,cd就起作用了,pwd会打印出“/home/hchen”。

1.10.3命令出错

每当命令运行完后,make会检测每个命令的返回码,如果命令返回成功,那么make会执行下一条命令,当规则中所有的命令成功返回后,这个规则就算是成功完成了。如果一个规则中的某个命令出错了(命令退出码非零),那么make就会终止执行当前规则,这将有可能终止所有规则的执行。

有些时候,命令的出错并不表示就是错误的。例如mkdir命令,我们一定需要建立一个目录,如果目录不存在,那么mkdir就成功执行,万事大吉,如果目录存在,那么就出错了。我们之所以使用mkdir的意思就是一定要有这样的一个目录,于是我们就不希望mkdir出错而终止规则的运行。

为了做到这一点,忽略命令的出错,我们可以在Makefile的命令行前加一个减号“-”(在Tab键之后),标记为不管命令出不出错都认为是成功的。如:

  clean:

           -rm -f *.o

 

还有一个全局的办法是,给make加上“-i”或是“--ignore-errors”参数,那么,Makefile中所有命令都会忽略错误。而如果一个规则是以“.IGNORE”作为目标的,那么这个规则中的所有命令将会忽略错误。这些是不同级别的防止命令出错的方法,你可以根据你的不同喜欢设置。

还有一个要提一下的make的参数的是“-k”或是“--keep-going”,这个参数的意思是,如果某规则中的命令出错了,那么就终目该规则的执行,但继续执行其它规则。


 

2. Make相关知识

2.1 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 文件声明make的终极任务,也就是执行文件edit了。

 

make工作时的执行步骤入下:

1. 读入所有的Makefile

2. 读入被include的其它Makefile

3. 初始化文件中的变量。

4. 推导隐晦规则,并分析所有规则。

5. 为所有的目标文件创建依赖关系链。

6. 根据依赖关系,决定哪些目标要重新生成。7. 执行生成命令。

2.2 make支持的系统函数

2.2.1字符串处理函数:

 

$(subst <from>,<to>,<text> )

 

名称:字符串替换函数——subst

功能:把字串<text>中的<from>字符串替换成<to>

返回:函数返回被替换过后的字符串。

 

示例:$(subst ee,EE,feet on the street)

 

feet on the street”中的“ee”替换成“EE”,返回结果是“fEEt on the strEEt”。

 

$(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))”是一样的。

 

$(strip <string> )

 

名称:去空格函数——strip

功能:去掉<string>字串中开头和结尾的空字符。

返回:返回被去掉空格的字符串值。

示例:

$(strip a b c )

把字串a b c ”去到开头和结尾的空格,结果是“a b c”。

 

$(findstring <find>,<in> )

名称:查找字符串函数——findstring

功能:在字串<in>中查找<find>字串。

返回:如果找到,那么返回<find>,否则返回空字符串。

示例:

$(findstring a,a b c)

$(findstring a,b c)

 

第一个函数返回a”字符串,第二个返回“”字符串(空字符串)

 

$(filter <pattern...>,<text> )

名称:过滤函数——filter

功能:以<pattern>模式过滤<text>字符串中的单词,保留符合模式<pattern>的单词。可以有多个模式。

返回:返回符合模式<pattern>的字串。

示例:

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> )

名称:反过滤函数——filter-out

功能:以<pattern>模式过滤<text>字符串中的单词,去除符合模式<pattern>的单词。可以有多个模式。

返回:返回不符合模式<pattern>的字串。

示例:

objects=main1.o foo.o main2.o bar.o

mains=main1.o main2.o

 

$(filter-out $(mains),$(objects)) 返回值是“foo.o bar.o”。

 

$(sort <list> )

名称:排序函数——sort

功能:给字符串<list>中的单词排序(升序)。

返回:返回排序后的字符串。

示例:$(sort foo bar lose)返回“bar foo lose” 。

备注:sort函数会去掉<list>中相同的单词。

 

$(word <n>,<text> )

名称:取单词函数——word

功能:取字符串<text>中第<n>个单词。(从一开始)

返回:返回字符串<text>中第<n>个单词。如果<n><text>中的单词数要大,那么返回空字符串。

示例:$(word 2, foo bar baz)返回值是“bar”。

 

$(wordlist <s>,<e>,<text> )

名称:取单词串函数——wordlist

功能:从字符串<text>中取从<s>开始到<e>的单词串。<s><e>是一个数字。

返回:返回字符串<text>中从<s><e>的单词字串。如果<s><text>中的单词数要大,那么返回空字符串。如果<e>大于<text>的单词数,那么返回从<s>开始,到<text>结束的单词串。

示例: $(wordlist 2, 3, foo bar baz)返回值是“bar baz”。

 

$(words <text> )

名称:单词个数统计函数——words

功能:统计<text>中字符串中的单词个数。

返回:返回<text>中的单词数。

示例:$(words, foo bar baz)返回值是“3”。

备注:如果我们要取<text>中最后的一个单词,我们可以这样:

$(word $(words <text> ),<text> )

 

$(firstword <text> )

名称:首单词函数——firstword

功能:取字符串<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”,这正是ccgcc搜索头文件路径的参数。

2.2.2文件名操作函数:

下面我们要介绍的函数主要是处理文件名的。每个函数的参数字符串都会被当做一个或是一系列的文件名来对待。

 

$(dir <names...> )

名称:取目录函数——dir

功能:从文件名序列<names>中取出目录部分。目录部分是指最后一个反斜杠(“/”)之前的部分。如果没有反斜杠,那么返回“./”。

返回:返回文件名序列<names>的目录部分。

示例: $(dir src/foo.c hacks)返回值是“src/ ./”。

 

$(notdir <names...> )

名称:取文件函数——notdir

功能:从文件名序列<names>中取出非目录部分。非目录部分是指最后一个反斜杠(“/”)之后的部分。

返回:返回文件名序列<names>的非目录部分。

示例: $(notdir src/foo.c hacks)返回值是“foo.c hacks”。

 

$(suffix <names...> )

名称:取后缀函数——suffix

功能:从文件名序列<names>中取出各个文件名的后缀。

返回:返回文件名序列<names>的后缀序列,如果文件没有后缀,则返回空字串。

示例:$(suffix src/foo.c src-1.0/bar.c hacks)返回值是“.c .c”。

 

$(basename <names...> )

名称:取前缀函数——basename

功能:从文件名序列<names>中取出各个文件名的前缀部分。

返回:返回文件名序列<names>的前缀序列,如果文件没有前缀,则返回空字串。

示例:$(basename src/foo.c src-1.0/bar.c hacks)返回值是“src/foo src-1.0/bar hacks”。

 

$(addsuffix <suffix>,<names...> )

名称:加后缀函数——addsuffix

功能:把后缀<suffix>加到<names>中的每个单词后面。

返回:返回加过后缀的文件名序列。

示例:$(addsuffix .c,foo bar)返回值是“foo.c bar.c”。

 

$(addprefix <prefix>,<names...> )

名称:加前缀函数——addprefix

功能:把前缀<prefix>加到<names>中的每个单词后面。

返回:返回加过前缀的文件名序列。

示例:$(addprefix src/,foo bar)返回值是“src/foo src/bar”。

 

$(join <list1>,<list2> )

名称:连接函数——join

功能:把<list2>中的单词对应地加到<list1>的单词后面。如果<list1>的单词个数要比<list2>的多,那么,<list1>中的多出来的单词将保持原样。如果<list2>的单词个数要比<list1>多,那么,<list2>多出来的单词将被复制到<list2>中。

返回:返回连接过后的字符串。

示例:$(join aaa bbb , 111 222 333)返回值是“aaa111 bbb222 333”。

2.2.3 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函数当中。

2.2.4 if 函数

if函数很像GNUmake所支持的条件语句——ifeq(参见前面所述的章节),if函数的语法是:

$(if <condition>,<then-part> )

或是

$(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>只会有一个被计算。

2.2.5 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”。

2.2.6 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

 endif

 

当然,你也许会说,使用override关键字不就可以重新定义环境中的变量了吗?为什么需要使用这样的步骤?是的,我们用override是可以达到这样的效果,可是override过于粗

暴,它同时会把从命令行定义的变量也覆盖了,而我们只想重新定义环境传来的,而不想重新定义命令行传来的。

2.2.7 shell函数

shell 函数也不像其它的函数。顾名思义,它的参数应该就是操作系统Shell的命令。它和反引号“`”是相同的功能。这就是说,shell函数把执行操作系统命令后的输出作为函数

返回。于是,我们可以用操作系统命令以及字符串处理命令awksed等等命令来生成一个变量,如:

contents := $(shell cat foo)

files := $(shell echo *.c)

 

注意,这个函数会新生成一个Shell程序来执行命令,所以你要注意其运行性能,如果你的Makefile中有一些比较复杂的规则,并大量使用了这个函数,那么对于你的系统性能是有害的。特别是Makefile的隐晦的规则可能会让你的shell函数执行的次数比你想像的多得多。

2.3 Make命令的参数

下面列举了所有GNU make 3.80版的参数定义。其它版本和产商的make大同小异,不过其它产商的make的具体参数还是请参考各自的产品文档。

 

-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

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

 

-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发现有未定义的变量,那么就输出警告信息。

2.4 隐含规则

在我们使用Makefile时,有一些我们会经常使用,而且使用频率非常高的东西,比如,我们编译C/C++的源程序为中间目标文件(Unix下是[.o] 文件,Windows下是[.obj]文件)。本章讲述的就是一些在Makefile中的“隐含的”,早先约定了的,不需要我们再写出来的规则。

“隐含规则”也就是一种惯例,make会按照这种“惯例”心照不喧地来运行,那怕我们的Makefile中没有书写这样的规则。例如,把[.c]文件编译成[.o]文件这一规则,你根本就不用写出来,make会自动推导出这种规则,并生成我们需要的[.o]文件。

“隐含规则”会使用一些我们系统变量,我们可以改变这些系统变量的值来定制隐含规则的运行时的参数。如系统变量“CFLAGS”可以控制编译时的编译器参数。

我们还可以通过“模式规则”的方式写下自己的隐含规则。用“后缀规则”来定义隐含规则会有许多的限制。使用“模式规则”会更回得智能和清楚,但“后缀规则”可以用来保证我们Makefile的兼容性。

我们了解了“隐含规则”,可以让其为我们更好的服务,也会让我们知道一些“约定俗成”了的东西,而不至于使得我们在运行Makefile时出现一些我们觉得莫名其妙的东西。当然,任何事物都是矛盾的,水能载舟,亦可覆舟,所以,有时候“隐含规则”也会给我们造成不小的麻烦。只有了解了它,我们才能更好地使用它。

2.4.1 使用隐含规则

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

 

foo : foo.o bar.o

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

 

我们可以注意到,这个Makefile中并没有写下如何生成foo.obar.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.oC的规则就不再寻找下一条规则了。如果你确实不希望任何隐含规则推导,那么,你就不要只写出“依赖规则”,而不写命令。

2.4.2 隐含规则一览

这里我们将讲述所有预先设置(也就是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。具体的细节,我们会在后面讲述。

 

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

 

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)相关联,那么,你最好写出自己的生成规则,不然,隐含规则会报错的。

 

9Yacc C程序时的隐含规则。

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

 

10Lex C程序时的隐含规则。

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

 

11Lex 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”也是同样的规则。

2.4.3 隐含规则使用的变量

在隐含规则中的命令中,基本上都是使用了一些预先设置的变量。你可以在你的makefile中改变这些变量的值,或是在make的命令行中传入这些值,或是在你的环境变量中设置这些值,无论怎么样,只要设置了这些特定的变量,那么其就会对隐含规则起作用。当然,你也可以利用make的“-R”或“--nobuiltin-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方法分析器程序(针对于CRatfor)。默认命令是“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 转换WebTeX的程序。默认命令是“weave”。

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

TANGLE 转换WebPascal语言的程序。默认命令是“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文法分析器参数。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值