Makefile
Makefile
苏丙榅使用 GCC 的命令行进行程序编译在单个文件下是比较方便的,当工程中的文件逐渐增多,甚至变得十分庞大的时候,使用 GCC 命令编译就会变得力不从心。这种情况下我们需要借助项目构造工具 make 帮助我们完成这个艰巨的任务。 make是一个命令工具,是一个解释makefile中指令的命令工具,一般来说,大多数的IDE都有这个命令,比如:Visual C++的nmake,QtCreator的qmake等。
make工具在构造项目的时候需要加载一个叫做makefile
的文件,makefile关系到了整个工程的编译规则。一个工程中的源文件不计数,其按类型、功能、模块分别放在若干个目录中,makefile定义了一系列的规则来指定哪些文件需要先编译,哪些文件需要后编译,哪些文件需要重新编译,甚至于进行更复杂的功能操作,因为makefile就像一个Shell脚本一样,其中也可以执行操作系统的命令。
makefile带来的好处就是——“自动化编译”,一旦写好,只需要一个make命令,整个工程完全自动编译,极大的提高了软件开发的效率。
makefile文件有两种命名方式 makefile
和 Makefile
,构建项目的时候在哪个目录下执行构建命令 make
这个目录下的 makefile 文件就会别加载,因此在一个项目中可以有多个 makefile 文件,分别位于不同的项目目录中。
1. 规则
Makefile的框架是由规则构成的。make命令执行时先在Makefile文件中查找各种规则,对各种规则进行解析后运行规则。规则的基本格式为:
1 | # 每条规则的语法格式: |
每条规则由三个部分组成分别是目标(target)
, 依赖(depend)
和命令(command)
。
命令(command)
: 当前这条规则的动作,一般情况下这个动作就是一个 shell 命令- 例如:通过某个命令编译文件、生成库文件、进入目录等。
- 动作可以是多个,
每个命令前必须有一个Tab缩进并且独占占一行
。
依赖(depend)
: 规则所必需的依赖条件,在规则的命令中可以使用这些依赖。- 例如:生成可执行文件的目标文件(
*.o
)可以作为依赖使用 - 如果规则的命令中不需要任何依赖,那么规则的依赖可以为空
- 当前规则中的依赖可以是其他规则中的某个目标,这样就形成了规则之间的嵌套
- 依赖可以根据要执行的命令的实际需求, 指定很多个
- 例如:生成可执行文件的目标文件(
目标(target)
: 规则中的目标,这个目标和规则中的命令是对应的- 通过执行规则中的命令,可以生成一个和目标同名的文件
- 规则中可以有多个命令, 因此可以通过这多条命令来生成多个目标, 所有目标也可以有很多个
- 通过执行规则中的命令,可以只执行一个动作,不生成任何文件,这样的目标被称为
伪目标
关于上面的解释可能有些晦涩, 下面通过一个例子来阐述一下:
1 | # 举例: 有源文件 a.c b.c c.c head.h, 需要生成可执行程序 app |
2. 工作原理
在此主要为大家剖析一下通过提供的 makefile 文件,构建工具 make 什么时候编译项目中的所有文件, 什么时候只选择更新项目中的某几个文件。另外再研究一下如果makefile里边有多个规则它们之间是如何配合工作的,我们基于下边的例子,依次进行讲解。
2.1 规则的执行
在调用 make 命令编译程序的时候,make 会首先找到 Makefile 文件中的第 1 个规则,分析并执行相关的动作。
但是需要注意的是,好多时候要执行的动作(命令)中使用的依赖是不存在的,如果使用的依赖不存在,这个动作也就不会被执行。
对应的解决方案是先将需要的依赖生成出来,我们就可以在makefile中添加新的规则,将不存在的依赖作为这个新的规则中的目标,当这条新的规则对应的命令执行完毕,对应的目标就被生成了,同时另一条规则中需要的依赖也就存在了。
这样,makefile中的某一条规则在需要的时候,就会被其他的规则调用,直到makefile中的第一条规则中的所有的依赖全部被生成,第一条规则中的命令就可以基于这些依赖生成对应的目标,make 的任务也就完成了。
1 | # makefile |
在这个例子中,如果执行 make 命令就会根据这个 makefile 中的4条规则编译这三个源文件。在解析第一条规则的时候发现里边的三个依赖都是不存在的,因此规则对应的命令也就不能被执行。
当依赖不存在的时候,make就是查找其他的规则,看哪一条规则是用来生成需要的这个依赖的,找到之后就会执行这条规则中的命令。因此规则2, 规则3, 规则4里的命令会相继被执行,当规则1中依赖全部被生成之后对应的命令也就被执行了,因此规则1的目标被生成,make工作结束。
知识点拓展:
如果想要执行 makefile 中非第一条规则对应的命令, 那么就不能直接 make
, 需要将那条规则的目标也写到 make的后边, 比如只需要执行规则3中的命令, 就需要: make b.o
。
2.2 文件的时间戳
make 命令执行的时候会根据文件的时间戳判定是否执行makefile文件中相关规则中的命令。
- 目标是通过依赖生成的,因此
正常情况下:目标时间戳 > 所有依赖的时间戳
, 如果执行 make 命令的时候检测到规则中的目标和依赖满足这个条件, 那么规则中的命令就不会被执行。 - 当依赖文件被更新了, 文件时间戳也会随之被更新, 这时候
目标时间戳 < 某些依赖的时间戳
, 在这种情况下目标文件会通过规则中的命令被重新生成。 - 如果规则中的目标对应的文件根本就不存在, 那么规则中的命令肯定会被执行。
1 | # makefile |
根据上文的描述, 先执行 make 命令,基于这个 makefile 编译这几个源文件生成对应的目标文件。然后再修改例子中的
a.c
, 再次通过make
编译这几个源文件,那么这个时候先执行规则2更新目标文件a.o
, 然后再执行规则1更新目标文件app
,其余的规则是不会被执行的。
2.3 自动推导
make 是一个功能强大的构建工具,虽然make需要根据 makefile 中指定的规则来完成源文件的编译。作为小白的我们编写makefile的时候难免写的不是那么严谨从而漏写一些构建规则,但是我们会发现程序还是会被编译成功。这是因为 make 有自动推导的能力,不会完全依赖 makefile。
比如: 使用命令 make 编译扩展名为.c 的 C 语言文件的时候,源文件的编译规则不用明确给出。这是因为 make 进行编译的时候会使用一个默认的编译规则,按照默认规则完成对.c文件的编译,生成对应的.o 文件。它使用命令cc -c
来编译.c 源文件。在 Makefile 中只要给出需要构建的目标文件名(一个.o 文件),make 会自动为这个.o 文件寻找合适的依赖文件(对应的.c 文件),并且使用默认的命令来构建这个目标文件。
假设本地项目目录中有以下几个源文件:
1 | tree |
目录中 makefile 文件内容如下
1 | # 这是一个完整的 makefile 文件 |
通过make构建项目:
1 | make |
我们可以发现上边的 makefile 文件中只有一条规则, 依赖中所有的
.o
文件在本地项目目录中是不存在的, 并且也没有其他的规则用来生成这些依赖文件, 这时候 make 会使用内部默认的构造规则先将这些依赖文件生成出来, 然后在执行规则中的命令, 最后生成目标文件 calc。
3. 变量
使用 Makefile 进行规则定义的时候,为了写起来更加灵活,我们可以在里边使用变量。makefile中的变量分为三种:
自定义变量
,预定义变量
和自动变量
。
3.1 自定义变量
用 Makefile 进行规则定义的时候,用户可以定义自己的变量,称为用户自定义变量。makefile 中的变量是没有类型的,直接创建变量然后给其赋值就可以了。
1 | # 错误, 只创建了变量名, 没有赋值 |
在给makefile中的变量赋值之后, 如何在需要的时候将变量值取出来呢?
1 | # 如果将变量的值取出? |
自定义变量使用举例:
1 | # 这是一个规则,普通写法 |
3.2 预定义变量
在 Makefile 中有一些已经定义的变量,用户可以直接使用这些变量,不用进行定义。在进行编译的时候,某些条件下 Makefile 会使用这些预定义变量的值进行编译。这些预定义变量的名字一般都是大写的,经常采用的预定义变量如下表所示:
变 量 名 | 含 义 | 默 认 值 |
---|---|---|
AR | 生成静态库库文件的程序名称 | ar |
AS | 汇编编译器的名称 | as |
CC | C 语言编译器的名称 | cc |
CPP | C 语言预编译器的名称 | $(CC) -E |
CXX | C++语言编译器的名称 | g++ |
FC | FORTRAN 语言编译器的名称 | f77 |
RM | 删除文件程序的名称 | rm -f |
ARFLAGS | 生成静态库库文件程序的选项 | 无默认值 |
ASFLAGS | 汇编语言编译器的编译选项 | 无默认值 |
CFLAGS | C 语言编译器的编译选项 | 无默认值 |
CPPFLAGS | C 语言预编译的编译选项 | 无默认值 |
CXXFLAGS | C++语言编译器的编译选项 | 无默认值 |
FFLAGS | FORTRAN 语言编译器的编译选项 | 无默认 |
1 | # 这是一个规则,普通写法 |
3.3 自动变量
Makefile 中的变量除了用户自定义变量和预定义变量外,还有一类自动变量。Makefile 中的规则语句中经常会出现目标文件和依赖文件,
自动变量用来代表这些规则中的目标文件和依赖文件,并且它们只能在规则的命令中使用。
下表中是一些常见的自动变量。
变 量 | 含 义 |
---|---|
$* | 表示目标文件的名称,不包含目标文件的扩展名 |
$+ | 表示所有的依赖文件,这些依赖文件之间以空格分开,按照出现的先后为顺序,其中可能 包含重复的依赖文件 |
$< | 表示依赖项中第一个依赖文件的名称 |
$? | 依赖项中,所有比目标文件时间戳晚的依赖文件,依赖文件之间以空格分开 |
$@ | 表示目标文件的名称,包含文件扩展名 |
$^ | 依赖项中,所有不重复的依赖文件,这些文件之间以空格分开 |
下面几个例子, 演示一下自动变量如何使用。
1 | # 这是一个规则,普通写法 |
4. 模式匹配
在介绍概念之前, 先读一下下面的这个 makefile 文件:
1 | calc:add.o div.o main.o mult.o sub.o |
在阅读过程中能够发现从第二个规则开始到第六个规则做的是相同的事情, 但是由于文件名不同不得不在文件中写出多个规则,这就让 makefile 文件看起来非常的冗余,我们可以将这一系列的相同操作整理成一个模板,所有类似的操作都通过模板去匹配 makefile 会因此而精简不少,只是可读性会有所下降。
这个规则模板可以写成下边的样子,这种操作就称之为模式匹配。
1 | # 模式匹配 -> 通过一个公式, 代表若干个满足条件的规则 |
5. 函数
makefile中有很多函数并且
所有的函数都是有返回值的。
makefile中函数的格式和C/C++中函数也不同,其写法是这样的:$(函数名 参数1, 参数2, 参数3, ...)
,主要目的是让我们能够快速方便的得到函数的返回值。这里为大家介绍两个 makefile 中使用频率比较高的函数:
wildcard
和patsubst
。
5.1 wildcard
这个函数的主要作用是获取指定目录下指定类型的文件名,其返回值是以空格分割的、指定目录下的所有符合条件的文件名列表。函数原型如下:
1 | # 该函数的参数只有一个, 但是这个参数可以分成若干个部分, 通过空格间隔 |
参数功能:
- PATTERN 指的是某个或多个目录下的对应的某种类型的文件, 比如
当前目录下的.c
文件可以写成*.c
- 可以指定多个目录,每个路径之间使用空格间隔
- PATTERN 指的是某个或多个目录下的对应的某种类型的文件, 比如
返回值:
- 得到的若干个文件的文件列表, 文件名之间使用空格间隔
- 示例:
$(wildcard *.c ./sub/*.c)
- 返回值格式: a.c b.c c.c d.c e.c f.c ./sub/aa.c ./sub/bb.c
函数使用举例:
1 | # 使用举例: 分别搜索三个不同目录下的 .c 格式的源文件 |
5.2 patsubst
这个函数的功能是按照指定的模式替换指定的文件名的后缀, 函数原型如下:
1 | # 有三个参数, 参数之间使用 逗号间隔 |
- 参数功能:
- pattern: 这是一个模式字符串, 需要指定出要被替换的文件名中的后缀是什么
- 文件名和路径不需要关心, 因此使用 % 表示即可 [通配符是 %]
- 在通配符后边指定出要被替换的后缀, 比如: %.c, 意味着 .c的后缀要被替换掉
- replacement: 这是一个模式字符串, 指定参数pattern中的后缀最终要被替换为什么
- 还是使用 % 来表示参数pattern 中文件的路径和名字
- 在通配符 % 后边指定出新的后缀名, 比如: %.o 这表示原来的后缀被替换为 .o
- text: 该参数中存储这要被替换的原始数据
- 返回值:
- 函数返回被替换过后的字符串。
- pattern: 这是一个模式字符串, 需要指定出要被替换的文件名中的后缀是什么
函数使用举例:
1 | src = a.cpp b.cpp c.cpp e.cpp |
6. makefile的编写
下面基于一个简单的项目, 为大家演示一下编写一个makefile从不标准到标准的进化过程。
1 | 项目目录结构 |
6.1 版本1
1 | calc:add.c div.c main.c mult.c sub.c |
这个版本的优点:书写简单
这版本的缺点:只要依赖中的某一个源文件被修改,所有的源文件都需要被重新编译,太耗时、效率低
改进方式:提高效率,修改哪一个源文件, 哪个源文件被重新编译, 不修改就不重新编译
6.2 版本2
1 | # 默认所有的依赖都不存在, 需要使用其他规则生成这些依赖 |
这个版本的优点:相较于版本1效率提升了
这个版本的缺点:规则比较冗余, 需要精简
改进方式:在 makefile 中使用变量 和 模式匹配
6.3 版本3
1 | # 添加自定义变量 -> makefile中注释前 使用 # |
这个版本的优点:文件精简不少,变得简洁了
这个版本的缺点:变量 obj 的值需要手动的写出来, 如果需要编译的项目文件很多,都用手写出来不现实
改进方式:在makefile中使用函数
6.4 版本4
1 | # 添加自定义变量 -> makefile中注释前 使用 # |
这个版本的优点:解决了自动加载项目文件的问题,解放了双手
这个版本的缺点:没有文件删除的功能,不能删除项目编译过程中生成的目标文件(*.o)和可执行程序
改进方式: 在makefile文件中添加新的规则用于删除生成的目标文件(*.o)和可执行程序
6.5 版本5
1 | # 添加自定义变量 -> makefile中注释前 使用 # |
这个版本的优点: 添加了新的规则(16行)用于文件的删除, 直接 make clean
就可以执行规则中的删除命令了
这个版本的缺点: 在下面有具体的问题演示和分析
改进方式: 在makefile文件中声明 clean
是一个伪目标,让 make 放弃对它的时间戳检测。
正常情况下这个版本的makefile是可以正常工作的,但是我们如果在这个项目目录中添加一个叫做clean
的文件(和规则中的目标名称相同),再进行 make clean
发现这个规则就不能正常工作了。
1 | # 在项目目录中添加一个叫 clean的文件, 然后在 make clean 这个规则中的命令就不工作了 |
这个问题的关键点在于 clean
是一个伪目标, 不对应任何实体文件, 在前边讲关于文件时间戳更新
问题的时候说过,如果目标不存在规则的命令肯定被执行, 如果目标文件存在了就需要比较规则中目标文件和依赖文件的时间戳,满足条件才执行规则的命令,否则不执行。
解决这个问题需要在 makefile 中声明 clean
是一个伪目标,这样 make 就不会对文件的时间戳进行检测,规则中的命令也就每次都会被执行了。
在 makefile 中声明一个伪目标需要使用 .PHONY
关键字, 声明方式为: .PHONY:伪文件名称
6.6 最终版
1 | # 添加自定义变量 -> makefile中注释前 使用 # |
7. 练习题
如果觉得上边讲的内容看懂了, 可以试着根据这个目录结构写出其对应的 makefile 文件。
1 | 目录结构 |
根据上边的项目目录结构编写的makefile文件如下:
1 | # 最终的目标名 app |
8. 视频讲解
以上知识点对应的视频讲解可以关注 B站-爱编程的大丙
视频地址: https://www.bilibili.com/video/BV13U4y1p7kB