Makefile文件是否完整？

Question

最近在工作中，我一直在做Makefiles的一些翻譯到一個替代構建系統。我已經看到一些漂亮的毛髮在某些地方使用功能性地圖，過濾器和foreach結構編寫代碼。這讓我感到驚訝，因爲我認爲構建腳本應該儘可能地聲明。

無論如何，這讓我想到：是Makefile語言（比如最新的GNU make是具體的）圖靈完成了嗎？

Answer 1

是的，請參閱this。一旦你有lambda，它就會從那裏下坡。

這裏是一個plagiarized斐波納契例如

這應該足以建立更一般的基礎（我得回去工作，或者我會發揮更多功能。）

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做出積極阻止某些機制，以創建遞歸：

1）Recursively expanded variables

不在「遞歸函數」感遞歸：他們不能被定義在自身方面：

Actually make detects the infinite loop and reports an error. 

（我不知道如何讓他們能夠在實踐中是有用的，順便說一句。）

2）Rule chaining

不能是遞歸的，或者：

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 - 除了所有其他的事情，使生成文件很難保持。）

PS對於最近的一個項目，我寫了a patch to GNU make 3.82，它用新的-M選項取消了此限制（請參閱discussion）。這對我來說可以。