第七章 : Makefile的条件执行

qinxuanzeng 2010-06-15

展开全文

第七章：Makefile的条件执行

条件语句可以根据一个变量的值来控制make执行或者忽略Makefile的特定部分。条件语句可以是两个不同变量、或者变量和常量值的比较。要注意的是：条件语句只能用于控制make实际执行的makefile文件部分，它不能控制规则的shell命令执行过程。Makefile中使用条件控制可以做到处理的灵活性和高效性。

7.1 一个例子

首先我们来看一个使用条件判断的Makefile例子；对变量“CC”进行判断，其值如果是“gcc”那么在程序连接时使用库“libgnu.so”或者“libgnu.a”，否则不链接任何库。Makefile中的条件判断部分如下：

……

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

……

例子中，条件语句中使用到了三个关键字：“ifeq”、“else”和“endif”。其中：

1. “ifeq”表示条件语句的开始，并指定了一个比较条件（相等）。之后是用圆括号括包围的、使用逗号“,”分割的两个参数，和关键字“ifeq”用空格分开。参数中的变量引用在进行变量值比较时被展开。“ifeq”之后就是当条件满足make需要执行的，条件不满足时忽略。

2. “else”之后就是当条件不满足时的执行部分。不是所有的条件语句都需要此部分。

3. “endif”表示一个条件语句的结束，任何一个条件表达式都必须以“endif”结束。

通过上边的例子我们可以了解到。Makefile中，条件表达式工作于文本级别（条件判断处理为文本级别的处理过程），条件的解析是由make来完成的。make是在读取并解析Makefile时根据条件表达式忽略条件表达式中的某一个文本行，解析完成后保留的只有表达式满足条件所需要执行的文本行。上例，make处理条件的过程：

当变量“CC”的值为“gcc”时，整个条件表达式等效于：

foo: $(objects)

$(CC) -o foo $(objects) $(libs_for_gcc)

当变量“CC”值不等于“gcc”时等效于：

foo: $(objects)

$(CC) -o foo $(objects) $(normal_libs)

上面的例子，一种更简洁实现方式：

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)

7.2 条件判断的基本语法

一个简单的不包含“else”分支的条件判断语句的语法格式为：

CONDITIONAL-DIRECTIVE

TEXT-IF-TRUE

endif

表达式中“TEXT-IF-TRUE”可以是若干任何文本行，当条件为真时它就将被make作为需要执行的一部分。当条件为假时，不作为需要执行的一部分。

包含“else”的复杂一点的语法格式为：

CONDITIONAL-DIRECTIVE

TEXT-IF-TRUE

else

TEXT-IF-FALSE

endif

表示了如果条件为真，则将“TEXT-IF-TRUE”作为执行Makefile的一部分，否则将“TEXT-IF-FALSE”作为执行的Makefile的一部分。和“TEXT-IF-TRUE”一样，“TEXT-IF-FALSE”可以是若干任何文本行。

条件判断语句中“CONDITIONAL-DIRECTIVE”对于上边的两种格式都是同样的。可以是以下四种用于测试不同条件的关键字。

7.2.1 关键字“ifeq”

此关键字用来判断参数是否相等，格式如下：

`ifeq (ARG1, ARG2)'

`ifeq 'ARG1' 'ARG2''

`ifeq "ARG1" "ARG2"'

`ifeq "ARG1" 'ARG2''

`ifeq 'ARG1' "ARG2"'

替换展开“ARG1”和“ARG1”后，对它们的值进行比较。如果相同则（条件为真）将“TEXT-IF-TRUE”作为make要执行的一部分，否则将“TEXT-IF-FALSE”作为make要执行的一部分（上边的第二种格式）。

通常我们会使用它来判断一个变量的值是否为空（不是任何字符）。参数值可能是通过引用变量或者函数得到的，因而在展开过程中可能造成参数值中包含空字符（空格等）。一般在这种情况时我们使用make的“strip”函数来对它变量的值进行处理，去掉其中的空字符。格式为：

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

TEXT-IF-EMPTY

endif

这样，即就是在“$(foo)”中存在若干前导和结尾空格，“TEXT-IF-EMPTY”也会被作为Makefile需要执行的一部分。

7.2.2 关键字“ifneq”

此关键字是用来判断参数是否不相等，格式为：

`ifneq (ARG1, ARG2)'

`ifneq 'ARG1' 'ARG2''

`ifneq "ARG1" "ARG2"'

`ifneq "ARG1" 'ARG2''

`ifneq 'ARG1' "ARG2"'

关键字“ifneq”实现的条件判断语句和“ifeq”相反。首先替换并展开“ARG1”和“ARG1”，对它们的值进行比较。如果不相同（条件为真）则将“TEXT-IF-TRUE”作为make要执行的一部分，否则将“TEXT-IF-FALSE”作为make要执行的一部分。

7.2.3 关键字“ifdef”

关键字“ifdef”用来判断一个变量是否已经定义。格式为：

`ifdef VARIABLE-NAME'

如果变量“VAEIABLE_NAME”的值非空（在Makefile中没有定义的变量的值为空），那么表达式为真，将“TEXT-IF-TRUE”作为make要执行的一部分。否则，表达式为假，如果存在“TEXT-IF-FALSE”，就将它作为make要执行一部分。当一个变量没有被定义时，它的值为空。“VARIABLE-NAME”可以是变量或者函数的引用。

对于“ifdef”需要说明的是：ifdef只是测试一个变量是否有值，不会对变量进行替换展开来判断变量的值是否为空。对于变量“VARIABLE-NAME”，除了“VARIABLE-NAME=”这种情况以外，使用其它方式对它的定义都会使“ifdef”返回真。就是说，即使我们通过其它方式（比如，定义它的值引用了其它的变量）给它赋了一个空值，“ifdef”也会返回真。我们来看一个例子：

例1：

bar =

foo = $(bar)

ifdef foo

frobozz = yes

else

frobozz = no

endif

例2：

foo =

ifdef foo

frobozz = yes

else

frobozz = no

endif

例1中的结果是：“frobozz = yes”；而例2的结果是：“frobozz = no”。其原因就是在例1中，变量“foo”的定义是“foo = $(bar)”。虽然变量“bar”的值为空，但是“ifdef”判断的结果是真。因此当我们需要判断一个变量的值是否为空的情况时，需要使用“ifeq”（或者“ifneq”）而不是“ifdef”。可参考前两个小节的内容。

7.2.4 关键字“ifndef”

关键字“ifndef”实现的功能和“ifdef”相反。格式为：

`ifdef VARIABLE-NAME'

这个就不详细讨论了，它的功能就是实现了和“ifdef”相反的条件判断。

在“CONDITIONAL-DIRECTIVE”这一行上，可以以若干个空格开始，make处理时会被忽略这些空格。但不能以[Tab]字符做为开始（不然就被认为是命令）。条件判断语句中，在除关键字（包括“endif”）之前、条件表达式参数中之外的其他任何地方都可以使用多个空格或[Tab]字符，它不会影响条件判断语句的功能。同样行尾也可以使用注释（“#”开始直到一行的结束）。“else”和“endif”也是条件判断语句的一部分。在书写时它们都是没有任何参数的，可以以多个空格开始（同样不能以[Tab]字符开始）多个空格或[Tab]字符结束。行尾同样可以有注释内容。

在make读取makefile文件时计算表达式的值，并根据表达式的值决定判断语句中那一部分被作为此Makefile所要执行的内容（选择符合条件的语句）。因此在条件表达式中不能使用自动化变量，自动化变量在规则命令执行时才有效。更不能将一个完整的条件判断语句分写在两个不同的makefile文件中，在一个makefile文件使用指示符“include”包含另外一个makefile文件。