测试 GNU make 的 eval 函数

Question

GNU make 手册说 eval 函数扩展参数，然后将扩展结果提供给 make 解析器。以下内容引用自 GNU make 手册。

The argument to the eval function is expanded, then the results of that expansion are parsed as makefile syntax. 

我不太明白 make 解析器如何处理 eval 输入的文本，所以 我写了下面的makefile来测试。

define myprint
    echo "this is a line"
endef

goal:
    $(eval $(call myprint))
    gcc -o goal test.c

我知道myprint的正确调用应该只使用调用函数：$(call myprint)并在回显之前删除'Tab'字符。我以这种形式编写makefile只是为了测试eval函数。

我的期望：首先eval函数扩展myprint，这是一个回显命令，前面有一个'Tab'，'Tab'用于使扩展文本成为合法的配方。然后 eval 将扩展的文本提供给 maker 解析器，后者将识别文本为配方并运行它。由于该命令是合法的，makefile 应该可以正常运行。

但是，我遇到了这样一个错误：

Makefile:6: *** recipe commences before first target.  Stop.

有人能解释一下为什么 make 会产生这样的错误吗？

Answer 1

该扩展的结果被解析为 makefile 语法

您对eval 的使用不同：您希望将其解析为shell 语法。你可以写：

define myprint
echo "this is a line"
endef

goal:
    $(myprint)
    gcc -o goal test.c

或：

define myprint
echo "this is a $(1)"
endef

goal:
    $(call myprint,line)
    gcc -o goal test.c

因为在 make 扩展之后，配方是有效的 shell 语法。但不是你写的，因为 eval 的扩展仍然被解释为 make 语法，而不是 shell。为了说明eval 和call 的典型用法，请考虑以下内容：

define myprint
echo "this is a $(1)"
endef

define mygoal
$(1):
    $$(call myprint,line)
    gcc -o $(1) $(2).c
endef
$(eval $(call mygoal,goal,test))

这比第一个示例（没有eval）要复杂一些，但它说明了eval 的真正目的：以编程方式实例化 make 构造。下面是它的工作原理，一步一步：

在其两阶段算法的第一阶段，make扩展$(eval...函数调用，即：

1. 扩展$(eval...函数的参数（$(call...函数）：
   1. 扩展$(call...函数的参数（goal和test）。在我们的例子中没有影响。
   2. 将结果分配给临时变量$(1) 和$(2)。
   3. 在此上下文中扩展mygoal 变量，将$(1)、$(2) 和$$(call... 分别替换为goal、test 和$(call...。

2. 将结果实例化（在内存中）作为一个 make 构造，在这种情况下是一个完整的规则：

   goal:
       $(call myprint,line)
       gcc -o goal test.c
   

第一阶段继续，但对这个实例化规则没有影响，因为配方在 第二 阶段由 make 扩展。

在第二阶段，到了构建goal目标的时候，make会在执行之前扩展recipe，即：

1. 展开$(call myprint...参数（line，无效）。
2. 将结果赋值给临时参数$(1)。

3. 在此上下文中扩展变量myprint，生成：

   echo "this is a line"
   

因此，所有这些都与我们编写规则一样：

goal:
    echo "this is a line"
    gcc -o goal test.c

注意mygoal的初始定义中的双$$：

重要的是要意识到 eval 参数被扩展了两次； 首先是 eval 函数，然后扩展的结果是 当它们被解析为 makefile 语法时再次展开。这意味着你 可能需要为“$”字符提供额外的转义级别 使用评估。

Answer 2

$(eval …) 需要一个语法完整的 makefile 片段。它不能用于将标记粘贴到其他 makefile 结构中。可能手册解释得不够清楚，但它是通过阅读它的参数来实现的，就好像它是一个包含的 makefile。

Answer 3

@RenaudPacalet，我写了下面的makefile来测试调用的扩展是否'吃'一美元。

define myprint
echo "In my print $$(ls)"
endef

goal:
    $(call myprint)
    $(info $(call myprint))
    gcc -o goal test.c

它的输出是：

echo "In my print $(ls)"
echo "In my print $(ls)"
In my print call.mk ... (files list)

由于$(call myprint)正确输出"In my print $(ls)"，必须先扩展为echo "In my print $$(ls)"，再扩展为正确的shell命令echo "In my print $(ls)"。所以我认为调用函数不会“吃掉”一美元。

另一个证据是 info 函数的输出。 GNU make 手册说：

$(info text…)
This function does nothing more than print its (expanded) argument(s) to standard output. 

从手册中我们可以推断出 make 会扩展 info 函数的参数。由于信息的输出是echo "In my print $(ls)"，所以展开前的参数应该是echo "In my print $$(ls)"。因此我们可以得出结论，调用函数不会“吃掉”一美元。