makefile 图灵完整吗？

Question

最近在工作中，我一直在做一些从 Makefile 到替代构建系统的转换。我在某些地方看到过一些使用函数式映射、过滤器和 foreach 结构的非常复杂的 Make 代码。这让我感到惊讶，因为我认为构建脚本应该尽可能具有声明性。

无论如何，这让我思考：Makefile 语言（具体来说是最新的 GNU make）图灵完整吗？

Answer 1

是的，请参阅此。一旦有了 lambda，一切就开始走下坡路了。

这是一个 剽窃 斐波那契示例

这应该足以为更通用性奠定基础（我必须回去工作，否则我会玩更多。）

dec = $(patsubst .%,%,$1)

not = $(if $1,,.)

lteq = $(if $1,$(if $(findstring $1,$2),.,),.)
gteq = $(if $2,$(if $(findstring $2,$1),.,),.)
eq = $(and $(call lteq,$1,$2),$(call gteq,$1,$2))
lt = $(and $(call lteq,$1,$2),$(call not,$(call gteq,$1,$2)))

add = $1$2
sub = $(if $(call not,$2),$1,$(call sub,$(call dec,$1),$(call dec,$2)))
mul = $(if $(call not,$2),$2,$(call add,$1,$(call mul,$1,$(call dec,$2))))
fibo = $(if $(call lt,$1,..),$1,$(call add,$(call fibo,$(call dec,$1)),$(call fibo,$(call sub,$1,..))))
fact = $(if $(call lt,$1,..),.,$(call mul,$1,$(call fact,$(call dec,$1))))

numeral = $(words $(subst .,. ,$1))

go = $(or $(info $(call numeral,$(call mul,$1,$1)) $(call numeral,$(call fibo,$1)) $(call numeral,$(call fact,$1)) ),$(call go,.$1))

_ := $(call go,)

这会打印出平方数、斐波那契数和阶乘。数字大小似乎有 16 位限制。真糟糕。

Answer 2

现在给出否定答案：
GNU make 主动阻止一些创建递归的机制：

1) 递归扩展变量

在“递归函数”意义上不是递归的：它们不能根据自身来定义：（

Actually make detects the infinite loop and reports an error.

顺便说一句，我不知道允许它们在实践中如何有用。）

2）规则链

也不能是递归的：

No single implicit rule can appear more than once in a chain. (...)
This constraint has the added benefit of preventing any infinite loop
in the search for an implicit rule chain.

（在调试我的 Makefile 时，我为此浪费了很多时间 - 除了所有其他使 makefile 难以维护的事情之外。）

PS 对于我最近编写的一个项目 GNU make 3.82 的补丁，它使用新的 -M 选项消除了此限制（请参阅讨论）。它对我来说效果很好。