一個很好的makefile教程2

 

使用函數
————
在Makefile中可以使用函數來處理變量,從而讓我們的命令或是規則更爲的靈活和具有智能。make所支持的函數也不算很多,不過已經足夠我們的操作了。函數調用後,函數的返回值可以當做變量來使用。


一、函數的調用語法

函數調用,很像變量的使用,也是以“$”來標識的,其語法如下:

$(<function> <arguments> )

或是

${<function> <arguments>}

這裏,<function>就是函數名,make支持的函數不多。<arguments>是函數的參數,參數間以逗號“,”分隔,而函數名和參數之間以“空格”分隔。函數調用以“$”開頭,以圓括號或花括號把函數名和參數括起。感覺很像一個變量,是不是?函數中的參數可以使用變量,爲了風格的統一,函數和變量的括號最好一樣,如使用“$(subst a,b,$(x))”這樣的形式,而不是“$(subst a,b,${x})”的形式。因爲統一會更清楚,也會減少一些不必要的麻煩。

還是來看一個示例:

comma:= ,
empty:=
space:= $(empty) $(empty)
foo:= a b c
bar:= $(subst $(space),$(comma),$(foo))

在這個示例中,$(comma)的值是一個逗號。$(space)使用了$(empty)定義了一個空格,$(foo)的值是“a b c”,$(bar)的定義用,調用了函數“subst”,這是一個替換函數,這個函數有三個參數,第一個參數是被替換字串,第二個參數是替換字串,第三個參數是替換操作作用的字串。這個函數也就是把$(foo)中的空格替換成逗號,所以$(bar)的值是“a,b,c”。


二、字符串處理函數

$(subst <from>,<to>,<text> )

名稱:字符串替換函數——subst。
功能:把字串<text>中的<from>字符串替換成<to>。
返回:函數返回被替換過後的字符串。

示例:

$(subst ee,EE,feet on the street),

把“feet on the street”中的“ee”替換成“EE”,返回結果是“fEEt on the strEEt”。


$(patsubst <pattern>,<replacement>,<text> )

名稱:模式字符串替換函數——patsubst。
功能:查找<text>中的單詞(單詞以“空格”、“Tab”或“回車”“換行”分隔)是否符合模式<pattern>,如果匹配的話,則以<replacement>替換。這裏,<pattern>可以包括通配符“%”,表示任意長度的字串。如果< replacement>中也包含“%”,那麼,<replacement>中的這個“%”將是<pattern>中的那個“%”所代表的字串。(可以用“/”來轉義,以“/%”來表示真實含義的“%”字符)
返回:函數返回被替換過後的字符串。

示例:

$(patsubst %.c,%.o,x.c.c bar.c)

把字串“x.c.c bar.c”符合模式[%.c]的單詞替換成[%.o],返回結果是“x.c.o bar.o”

備註:

這和我們前面“變量章節”說過的相關知識有點相似。如:

“$(var:<pattern>=<replacement> )”
相當於
“$(patsubst <pattern>,<replacement>,$(var))”,

而“$(var: <suffix>=<replacement> )”
則相當於
“$(patsubst %<suffix>,%<replacement>,$(var))”。

例如有:objects = foo.o bar.o baz.o,
那麼,“$(objects:.o=.c)”和“$(patsubst %.o,%.c,$(objects))”是一樣的。

$(strip <string> )

名稱:去空格函數——strip。
功能:去掉<string>字串中開頭和結尾的空字符。
返回:返回被去掉空格的字符串值。
示例:

$(strip a b c )

把字串“a b c ”去到開頭和結尾的空格,結果是“a b c”。

$(findstring <find>,<in> )

名稱:查找字符串函數——findstring。
功能:在字串<in>中查找<find>字串。
返回:如果找到,那麼返回<find>,否則返回空字符串。
示例:

$(findstring a,a b c)
$(findstring a,b c)

第一個函數返回“a”字符串,第二個返回“”字符串(空字符串)

$(filter <pattern...>,<text> )

名稱:過濾函數——filter。
功能:以<pattern>模式過濾<text>字符串中的單詞,保留符合模式<pattern>的單詞。可以有多個模式。
返回:返回符合模式<pattern>的字串。
示例:

sources := foo.c bar.c baz.s ugh.h
foo: $(sources)
cc $(filter %.c %.s,$(sources)) -o foo

$(filter %.c %.s,$(sources))返回的值是“foo.c bar.c baz.s”。

$(filter-out <pattern...>,<text> )

名稱:反過濾函數——filter-out。
功能:以<pattern>模式過濾<text>字符串中的單詞,去除符合模式<pattern>的單詞。可以有多個模式。
返回:返回不符合模式<pattern>的字串。
示例:

objects=main1.o foo.o main2.o bar.o
mains=main1.o main2.o

$(filter-out $(mains),$(objects)) 返回值是“foo.o bar.o”。

$(sort <list> )

名稱:排序函數——sort。
功能:給字符串<list>中的單詞排序(升序)。
返回:返回排序後的字符串。
示例:$(sort foo bar lose)返回“bar foo lose” 。
備註:sort函數會去掉<list>中相同的單詞。

$(word <n>,<text> )

名稱:取單詞函數——word。
功能:取字符串<text>中第<n>個單詞。(從一開始)
返回:返回字符串<text>中第<n>個單詞。如果<n>比<text>中的單詞數要大,那麼返回空字符串。
示例:$(word 2, foo bar baz)返回值是“bar”。

$(wordlist <s>,<e>,<text> )

名稱:取單詞串函數——wordlist。
功能:從字符串<text>中取從<s>開始到<e>的單詞串。<s>和<e>是一個數字。
返回:返回字符串<text>中從<s>到<e>的單詞字串。如果<s>比<text>中的單詞數要大,那麼返回空字符串。如果<e>大於<text>的單詞數,那麼返回從<s>開始,到< text>結束的單詞串。
示例: $(wordlist 2, 3, foo bar baz)返回值是“bar baz”。

$(words <text> )

名稱:單詞個數統計函數——words。
功能:統計<text>中字符串中的單詞個數。
返回:返回<text>中的單詞數。
示例:$(words, foo bar baz)返回值是“3”。
備註:如果我們要取<text>中最後的一個單詞,我們可以這樣:$(word $(words <text> ),<text> )。

$(firstword <text> )

名稱:首單詞函數——firstword。
功能:取字符串<text>中的第一個單詞。
返回:返回字符串<text>的第一個單詞。
示例:$(firstword foo bar)返回值是“foo”。
備註:這個函數可以用word函數來實現:$(word 1,<text> )。

以上,是所有的字符串操作函數,如果搭配混合使用,可以完成比較複雜的功能。這裏,舉一個現實中應用的例子。我們知道,make使用“VPATH”變量來指定“依賴文件”的搜索路徑。於是,我們可以利用這個搜索路徑來指定編譯器對頭文件的搜索路徑參數CFLAGS,如:

override CFLAGS += $(patsubst %,-I%,$(subst :, ,$(VPATH)))

如果我們的“$(VPATH)”值是“src:../headers”,那麼“$(patsubst %,-I%,$(subst :, ,$(VPATH)))”將返回“-Isrc -I../headers”,這正是cc或gcc搜索頭文件路徑的參數。


三、文件名操作函數

下面我們要介紹的函數主要是處理文件名的。每個函數的參數字符串都會被當做一個或是一系列的文件名來對待。

$(dir <names...> )

名稱:取目錄函數——dir。
功能:從文件名序列<names>中取出目錄部分。目錄部分是指最後一個反斜槓(“/”)之前的部分。如果沒有反斜槓,那麼返回“./”。
返回:返回文件名序列<names>的目錄部分。
示例: $(dir src/foo.c hacks)返回值是“src/ ./”。

$(notdir <names...> )

名稱:取文件函數——notdir。
功能:從文件名序列<names>中取出非目錄部分。非目錄部分是指最後一個反斜槓(“/”)之後的部分。
返回:返回文件名序列<names>的非目錄部分。
示例: $(notdir src/foo.c hacks)返回值是“foo.c hacks”。

$(suffix <names...> )

名稱:取後綴函數——suffix。
功能:從文件名序列<names>中取出各個文件名的後綴。
返回:返回文件名序列<names>的後綴序列,如果文件沒有後綴,則返回空字串。
示例:$(suffix src/foo.c src-1.0/bar.c hacks)返回值是“.c .c”。

$(basename <names...> )

名稱:取前綴函數——basename。
功能:從文件名序列<names>中取出各個文件名的前綴部分。
返回:返回文件名序列<names>的前綴序列,如果文件沒有前綴,則返回空字串。
示例:$(basename src/foo.c src-1.0/bar.c hacks)返回值是“src/foo src-1.0/bar hacks”。

$(addsuffix <suffix>,<names...> )

名稱:加後綴函數——addsuffix。
功能:把後綴<suffix>加到<names>中的每個單詞後面。
返回:返回加過後綴的文件名序列。
示例:$(addsuffix .c,foo bar)返回值是“foo.c bar.c”。

$(addprefix <prefix>,<names...> )

名稱:加前綴函數——addprefix。
功能:把前綴<prefix>加到<names>中的每個單詞後面。
返回:返回加過前綴的文件名序列。
示例:$(addprefix src/,foo bar)返回值是“src/foo src/bar”。

$(join <list1>,<list2> )

名稱:連接函數——join。
功能:把<list2>中的單詞對應地加到<list1>的單詞後面。如果<list1>的單詞個數要比< list2>的多,那麼,<list1>中的多出來的單詞將保持原樣。如果<list2>的單詞個數要比< list1>多,那麼,<list2>多出來的單詞將被複制到<list2>中。
返回:返回連接過後的字符串。
示例:$(join aaa bbb , 111 222 333)返回值是“aaa111 bbb222 333”。



四、foreach 函數


foreach 函數和別的函數非常的不一樣。因爲這個函數是用來做循環用的,Makefile中的foreach函數幾乎是仿照於Unix標準Shell (/bin/sh)中的for語句,或是C-Shell(/bin/csh)中的foreach語句而構建的。它的語法是:



$(foreach <var>,<list>,<text> )



這個函數的意思是,把參數<list>中的單詞逐一取出放到參數<var>所指定的變量中,然後再執行<text>所包含的表達式。每一次<text>會返回一個字符串,循環過程中,<text>的所返回的每個字符串會以空格分隔,最後當整個循環結束時,<text>所返回的每個字符串所組成的整個字符串(以空格分隔)將會是foreach函數的返回值。



所以,<var>最好是一個變量名,<list>可以是一個表達式,而<text>中一般會使用<var>這個參數來依次枚舉<list>中的單詞。舉個例子:



names := a b c d

files := $(foreach n,$(names),$(n).o)



上面的例子中,$(name)中的單詞會被挨個取出,並存到變量“n”中,“$(n).o”每次根據“$(n)”計算出一個值,這些值以空格分隔,最後作爲foreach函數的返回,所以,$(files)的值是“a.o b.o c.o d.o”。



注意,foreach中的<var>參數是一個臨時的局部變量,foreach函數執行完後,參數<var>的變量將不在作用,其作用域只在foreach函數當中。





五、if 函數


if函數很像GNU的make所支持的條件語句——ifeq(參見前面所述的章節),if函數的語法是:



$(if <condition>,<then-part> )



或是



$(if <condition>,<then-part>,<else-part> )



可見,if函數可以包含“else”部分,或是不含。即if函數的參數可以是兩個,也可以是三個。<condition>參數是if的表達式,如果其返回的爲非空字符串,那麼這個表達式就相當於返回真,於是,<then-part>會被計算,否則<else-part> 會被計算。



而if函數的返回值是,如果<condition>爲真(非空字符串),那個<then- part>會是整個函數的返回值,如果<condition>爲假(空字符串),那麼<else-part>會是整個函數的返回值,此時如果<else-part>沒有被定義,那麼,整個函數返回空字串。



所以,<then-part>和<else-part>只會有一個被計算。





六、call函數


call函數是唯一一個可以用來創建新的參數化的函數。你可以寫一個非常複雜的表達式,這個表達式中,你可以定義許多參數,然後你可以用call函數來向這個表達式傳遞參數。其語法是:



$(call <expression>,<parm1>,<parm2>,<parm3>...)



當make 執行這個函數時,<expression>參數中的變量,如$(1),$(2),$(3)等,會被參數<parm1>,< parm2>,<parm3>依次取代。而<expression>的返回值就是call函數的返回值。例如:

reverse = $(1) $(2)

foo = $(call reverse,a,b)



那麼,foo的值就是“a b”。當然,參數的次序是可以自定義的,不一定是順序的,如:



reverse = $(2) $(1)

foo = $(call reverse,a,b)



此時的foo的值就是“b a”。





七、origin函數
origin函數不像其它的函數,他並不操作變量的值,他只是告訴你你的這個變量是哪裏來的?其語法是:



$(origin <variable> )



注意,<variable>是變量的名字,不應該是引用。所以你最好不要在<variable>中使用“$”字符。Origin函數會以其返回值來告訴你這個變量的“出生情況”,下面,是origin函數的返回值:



“undefined”

如果<variable>從來沒有定義過,origin函數返回這個值“undefined”。



“default”

如果<variable>是一個默認的定義,比如“CC”這個變量,這種變量我們將在後面講述。



“environment”

如果<variable>是一個環境變量,並且當Makefile被執行時,“-e”參數沒有被打開。



“file”

如果<variable>這個變量被定義在Makefile中。



“command line”

如果<variable>這個變量是被命令行定義的。



“override”

如果<variable>是被override指示符重新定義的。



“automatic”

如果<variable>是一個命令運行中的自動化變量。關於自動化變量將在後面講述。



這些信息對於我們編寫Makefile是非常有用的,例如,假設我們有一個Makefile其包了一個定義文件Make.def,在Make.def中定義了一個變量“bletch”,而我們的環境中也有一個環境變量“bletch”,此時,我們想判斷一下,如果變量來源於環境,那麼我們就把之重定義了,如果來源於Make.def或是命令行等非環境的,那麼我們就不重新定義它。於是,在我們的Makefile中,我們可以這樣寫:



ifdef bletch

ifeq "$(origin bletch)" "environment"

bletch = barf, gag, etc.

endif

endif



當然,你也許會說,使用override關鍵字不就可以重新定義環境中的變量了嗎?爲什麼需要使用這樣的步驟?是的,我們用override是可以達到這樣的效果,可是override過於粗暴,它同時會把從命令行定義的變量也覆蓋了,而我們只想重新定義環境傳來的,而不想重新定義命令行傳來的。





八、shell函數


shell 函數也不像其它的函數。顧名思義,它的參數應該就是操作系統Shell的命令。它和反引號“`”是相同的功能。這就是說,shell函數把執行操作系統命令後的輸出作爲函數返回。於是,我們可以用操作系統命令以及字符串處理命令awk,sed等等命令來生成一個變量,如:



contents := $(shell cat foo)



files := $(shell echo *.c)



注意,這個函數會新生成一個Shell程序來執行命令,所以你要注意其運行性能,如果你的Makefile中有一些比較複雜的規則,並大量使用了這個函數,那麼對於你的系統性能是有害的。特別是Makefile的隱晦的規則可能會讓你的shell函數執行的次數比你想像的多得多。





九、控制make的函數


make提供了一些函數來控制make的運行。通常,你需要檢測一些運行Makefile時的運行時信息,並且根據這些信息來決定,你是讓make繼續執行,還是停止。



$(error <text ...> )



產生一個致命的錯誤,<text ...>是錯誤信息。注意,error函數不會在一被使用就會產生錯誤信息,所以如果你把其定義在某個變量中,並在後續的腳本中使用這個變量,那麼也是可以的。例如:



示例一:

ifdef ERROR_001

$(error error is $(ERROR_001))

endif



示例二:

ERR = $(error found an error!)

.PHONY: err

err: ; $(ERR)



示例一會在變量ERROR_001定義了後執行時產生error調用,而示例二則在目錄err被執行時才發生error調用。



$(warning <text ...> )



這個函數很像error函數,只是它並不會讓make退出,只是輸出一段警告信息,而make繼續執行。

make 的運行
——————

一般來說,最簡單的就是直接在命令行下輸入make命令,make命令會找當前目錄的makefile來執行,一切都是自動的。但也有時你也許只想讓 make重編譯某些文件,而不是整個工程,而又有的時候你有幾套編譯規則,你想在不同的時候使用不同的編譯規則,等等。本章節就是講述如何使用make命令的。

一、make的退出碼

make命令執行後有三個退出碼:

0 —— 表示成功執行。
1 —— 如果make運行時出現任何錯誤,其返回1。
2 —— 如果你使用了make的“-q”選項,並且make使得一些目標不需要更新,那麼返回2。

Make的相關參數我們會在後續章節中講述。


二、指定Makefile

前面我們說過,GNU make找尋默認的Makefile的規則是在當前目錄下依次找三個文件——“GNUmakefile”、“makefile”和“Makefile”。其按順序找這三個文件,一旦找到,就開始讀取這個文件並執行。

當前,我們也可以給make命令指定一個特殊名字的Makefile。要達到這個功能,我們要使用make的“-f”或是“--file”參數(“-- makefile”參數也行)。例如,我們有個makefile的名字是“hchen.mk”,那麼,我們可以這樣來讓make來執行這個文件:

make –f hchen.mk

如果在make的命令行是,你不只一次地使用了“-f”參數,那麼,所有指定的makefile將會被連在一起傳遞給make執行。


三、指定目標

一般來說,make的最終目標是makefile中的第一個目標,而其它目標一般是由這個目標連帶出來的。這是make的默認行爲。當然,一般來說,你的 makefile中的第一個目標是由許多個目標組成,你可以指示make,讓其完成你所指定的目標。要達到這一目的很簡單,需在make命令後直接跟目標的名字就可以完成(如前面提到的“make clean”形式)

任何在makefile中的目標都可以被指定成終極目標,但是除了以 “-”打頭,或是包含了“=”的目標,因爲有這些字符的目標,會被解析成命令行參數或是變量。甚至沒有被我們明確寫出來的目標也可以成爲make的終極目標,也就是說,只要make可以找到其隱含規則推導規則,那麼這個隱含目標同樣可以被指定成終極目標。

有一個make的環境變量叫“MAKECMDGOALS”,這個變量中會存放你所指定的終極目標的列表,如果在命令行上,你沒有指定目標,那麼,這個變量是空值。這個變量可以讓你使用在一些比較特殊的情形下。比如下面的例子:

sources = foo.c bar.c
ifneq ( $(MAKECMDGOALS),clean)
include $(sources:.c=.d)
endif

基於上面的這個例子,只要我們輸入的命令不是“make clean”,那麼makefile會自動包含“foo.d”和“bar.d”這兩個makefile。

使用指定終極目標的方法可以很方便地讓我們編譯我們的程序,例如下面這個例子:

.PHONY: all
all: prog1 prog2 prog3 prog4

從這個例子中,我們可以看到,這個makefile中有四個需要編譯的程序——“prog1”, “prog2”, “prog3”和 “prog4”,我們可以使用“make all”命令來編譯所有的目標(如果把all置成第一個目標,那麼只需執行“make”),我們也可以使用“make prog2”來單獨編譯目標“prog2”。

即然make可以指定所有makefile中的目標,那麼也包括“僞目標”,於是我們可以根據這種性質來讓我們的makefile根據指定的不同的目標來完成不同的事。在Unix世界中,軟件發佈時,特別是GNU這種開源軟件的發佈時,其 makefile都包含了編譯、安裝、打包等功能。我們可以參照這種規則來書寫我們的makefile中的目標。

“all”
這個僞目標是所有目標的目標,其功能一般是編譯所有的目標。
“clean”
這個僞目標功能是刪除所有被make創建的文件。
“install”
這個僞目標功能是安裝已編譯好的程序,其實就是把目標執行文件拷貝到指定的目標中去。
“print”
這個僞目標的功能是例出改變過的源文件。
“tar”
這個僞目標功能是把源程序打包備份。也就是一個tar文件。
“dist”
這個僞目標功能是創建一個壓縮文件,一般是把tar文件壓成Z文件。或是gz文件。
“TAGS”
這個僞目標功能是更新所有的目標,以備完整地重編譯使用。
“check”和“test”
這兩個僞目標一般用來測試makefile的流程。

當然一個項目的makefile中也不一定要書寫這樣的目標,這些東西都是GNU的東西,但是我想,GNU搞出這些東西一定有其可取之處(等你的UNIX下的程序文件一多時你就會發現這些功能很有用了),這裏只不過是說明了,如果你要書寫這種功能,最好使用這種名字命名你的目標,這樣規範一些,規範的好處就是——不用解釋,大家都明白。而且如果你的makefile中有這些功能,一是很實用,二是可以顯得你的makefile很專業(不是那種初學者的作品)。


四、檢查規則

有時候,我們不想讓我們的makefile中的規則執行起來,我們只想檢查一下我們的命令,或是執行的序列。於是我們可以使用make命令的下述參數:

“-n”
“--just-print”
“--dry-run”
“--recon”
不執行參數,這些參數只是打印命令,不管目標是否更新,把規則和連帶規則下的命令打印出來,但不執行,這些參數對於我們調試makefile很有用處。

“-t”
“--touch”
這個參數的意思就是把目標文件的時間更新,但不更改目標文件。也就是說,make假裝編譯目標,但不是真正的編譯目標,只是把目標變成已編譯過的狀態。

“-q”
“--question”
這個參數的行爲是找目標的意思,也就是說,如果目標存在,那麼其什麼也不會輸出,當然也不會執行編譯,如果目標不存在,其會打印出一條出錯信息。

“-W <file>”
“--what-if=<file>”
“--assume-new=<file>”
“--new-file=<file>”
這個參數需要指定一個文件。一般是是源文件(或依賴文件),Make會根據規則推導來運行依賴於這個文件的命令,一般來說,可以和“-n”參數一同使用,來查看這個依賴文件所發生的規則命令。

另外一個很有意思的用法是結合“-p”和“-v”來輸出makefile被執行時的信息(這個將在後面講述)。


五、make的參數

下面列舉了所有GNU make 3.80版的參數定義。其它版本和產商的make大同小異,不過其它產商的make的具體參數還是請參考各自的產品文檔。

“-b”
“-m”
這兩個參數的作用是忽略和其它版本make的兼容性。

“-B”
“--always-make”
認爲所有的目標都需要更新(重編譯)。

“-C <dir>”
“--directory=<dir>”
指定讀取makefile的目錄。如果有多個“-C”參數,make的解釋是後面的路徑以前面的作爲相對路徑,並以最後的目錄作爲被指定目錄。如:“make –C ~hchen/test –C prog”等價於“make –C ~hchen/test/prog”。

“—debug[=<options>]”
輸出make的調試信息。它有幾種不同的級別可供選擇,如果沒有參數,那就是輸出最簡單的調試信息。下面是<options>的取值:
a —— 也就是all,輸出所有的調試信息。(會非常的多)
b —— 也就是basic,只輸出簡單的調試信息。即輸出不需要重編譯的目標。
v —— 也就是verbose,在b選項的級別之上。輸出的信息包括哪個makefile被解析,不需要被重編譯的依賴文件(或是依賴目標)等。
i —— 也就是implicit,輸出所以的隱含規則。
j —— 也就是jobs,輸出執行規則中命令的詳細信息,如命令的PID、返回碼等。
m —— 也就是makefile,輸出make讀取makefile,更新makefile,執行makefile的信息。

“-d”
相當於“--debug=a”。

“-e”
“--environment-overrides”
指明環境變量的值覆蓋makefile中定義的變量的值。

“-f=<file>”
“--file=<file>”
“--makefile=<file>”
指定需要執行的makefile。

“-h”
“--help”
顯示幫助信息。

“-i”
“--ignore-errors”
在執行時忽略所有的錯誤。

“-I <dir>”
“--include-dir=<dir>”
指定一個被包含makefile的搜索目標。可以使用多個“-I”參數來指定多個目錄。

“-j [<jobsnum>]”
“--jobs[=<jobsnum>]”
指同時運行命令的個數。如果沒有這個參數,make運行命令時能運行多少就運行多少。如果有一個以上的“-j”參數,那麼僅最後一個“-j”纔是有效的。(注意這個參數在MS-DOS中是無用的)

“-k”
“--keep-going”
出錯也不停止運行。如果生成一個目標失敗了,那麼依賴於其上的目標就不會被執行了。

“-l <load>”
“--load-average[=<load]”
“—max-load[=<load>]”
指定make運行命令的負載。

“-n”
“--just-print”
“--dry-run”
“--recon”
僅輸出執行過程中的命令序列,但並不執行。

“-o <file>”
“--old-file=<file>”
“--assume-old=<file>”
不重新生成的指定的<file>,即使這個目標的依賴文件新於它。

“-p”
“--print-data-base”
輸出makefile中的所有數據,包括所有的規則和變量。這個參數會讓一個簡單的makefile都會輸出一堆信息。如果你只是想輸出信息而不想執行 makefile,你可以使用“make -qp”命令。如果你想查看執行makefile前的預設變量和規則,你可以使用“make –p –f /dev/null”。這個參數輸出的信息會包含着你的makefile文件的文件名和行號,所以,用這個參數來調試你的makefile會是很有用的,特別是當你的環境變量很複雜的時候。

“-q”
“--question”
不運行命令,也不輸出。僅僅是檢查所指定的目標是否需要更新。如果是0則說明要更新,如果是2則說明有錯誤發生。

“-r”
“--no-builtin-rules”
禁止make使用任何隱含規則。

“-R”
“--no-builtin-variabes”
禁止make使用任何作用於變量上的隱含規則。

“-s”
“--silent”
“--quiet”
在命令運行時不輸出命令的輸出。

“-S”
“--no-keep-going”
“--stop”
取消“-k”選項的作用。因爲有些時候,make的選項是從環境變量“MAKEFLAGS”中繼承下來的。所以你可以在命令行中使用這個參數來讓環境變量中的“-k”選項失效。

“-t”
“--touch”
相當於UNIX的touch命令,只是把目標的修改日期變成最新的,也就是阻止生成目標的命令運行。

“-v”
“--version”
輸出make程序的版本、版權等關於make的信息。

“-w”
“--print-directory”
輸出運行makefile之前和之後的信息。這個參數對於跟蹤嵌套式調用make時很有用。

“--no-print-directory”
禁止“-w”選項。

“-W <file>”
“--what-if=<file>”
“--new-file=<file>”
“--assume-file=<file>”
假定目標<file>需要更新,如果和“-n”選項使用,那麼這個參數會輸出該目標更新時的運行動作。如果沒有“-n”那麼就像運行UNIX的“touch”命令一樣,使得<file>的修改時間爲當前時間。

“--warn-undefined-variables”
只要make發現有未定義的變量,那麼就輸出警告信息。


隱含規則
————

在我們使用Makefile時,有一些我們會經常使用,而且使用頻率非常高的東西,比如,我們編譯C/C++的源程序爲中間目標文件(Unix下是[.o] 文件,Windows下是[.obj]文件)。本章講述的就是一些在Makefile中的“隱含的”,早先約定了的,不需要我們再寫出來的規則。

“隱含規則”也就是一種慣例,make會按照這種“慣例”心照不喧地來運行,那怕我們的Makefile中沒有書寫這樣的規則。例如,把[.c]文件編譯成[.o]文件這一規則,你根本就不用寫出來,make會自動推導出這種規則,並生成我們需要的[.o]文件。

“隱含規則”會使用一些我們系統變量,我們可以改變這些系統變量的值來定製隱含規則的運行時的參數。如系統變量“CFLAGS”可以控制編譯時的編譯器參數。

我們還可以通過“模式規則”的方式寫下自己的隱含規則。用“後綴規則”來定義隱含規則會有許多的限制。使用“模式規則”會更回得智能和清楚,但“後綴規則”可以用來保證我們Makefile的兼容性。
我們瞭解了“隱含規則”,可以讓其爲我們更好的服務,也會讓我們知道一些“約定俗成”了的東西,而不至於使得我們在運行Makefile時出現一些我們覺得莫名其妙的東西。當然,任何事物都是矛盾的,水能載舟,亦可覆舟,所以,有時候“隱含規則”也會給我們造成不小的麻煩。只有瞭解了它,我們才能更好地使用它。


一、使用隱含規則

如果要使用隱含規則生成你需要的目標,你所需要做的就是不要寫出這個目標的規則。那麼, make會試圖去自動推導產生這個目標的規則和命令,如果make可以自動推導生成這個目標的規則和命令,那麼這個行爲就是隱含規則的自動推導。當然,隱含規則是make事先約定好的一些東西。例如,我們有下面的一個Makefile:

foo : foo.o bar.o
cc –o foo foo.o bar.o $(CFLAGS) $(LDFLAGS)

我們可以注意到,這個Makefile中並沒有寫下如何生成foo.o和bar.o這兩目標的規則和命令。因爲make的“隱含規則”功能會自動爲我們自動去推導這兩個目標的依賴目標和生成命令。

make 會在自己的“隱含規則”庫中尋找可以用的規則,如果找到,那麼就會使用。如果找不到,那麼就會報錯。在上面的那個例子中,make調用的隱含規則是,把 [.o]的目標的依賴文件置成[.c],並使用C的編譯命令“cc –c $(CFLAGS) [.c]”來生成[.o]的目標。也就是說,我們完全沒有必要寫下下面的兩條規則:

foo.o : foo.c
cc –c foo.c $(CFLAGS)
bar.o : bar.c
cc –c bar.c $(CFLAGS)

因爲,這已經是“約定”好了的事了,make和我們約定好了用C編譯器“cc”生成[.o]文件的規則,這就是隱含規則。

當然,如果我們爲[.o]文件書寫了自己的規則,那麼make就不會自動推導並調用隱含規則,它會按照我們寫好的規則忠實地執行。

還有,在make的“隱含規則庫”中,每一條隱含規則都在庫中有其順序,越靠前的則是越被經常使用的,所以,這會導致我們有些時候即使我們顯示地指定了目標依賴,make也不會管。如下面這條規則(沒有命令):

foo.o : foo.p

依賴文件“foo.p”(Pascal程序的源文件)有可能變得沒有意義。如果目錄下存在了“foo.c”文件,那麼我們的隱含規則一樣會生效,並會通過 “foo.c”調用C的編譯器生成foo.o文件。因爲,在隱含規則中,Pascal的規則出現在C的規則之後,所以,make找到可以生成foo.o的 C的規則就不再尋找下一條規則了。如果你確實不希望任何隱含規則推導,那麼,你就不要只寫出“依賴規則”,而不寫命令。


二、隱含規則一覽

這裏我們將講述所有預先設置(也就是make內建)的隱含規則,如果我們不明確地寫下規則,那麼,make就會在這些規則中尋找所需要規則和命令。當然,我們也可以使用make的參數“-r”或“--no-builtin-rules”選項來取消所有的預設置的隱含規則。

當然,即使是我們指定了“-r”參數,某些隱含規則還是會生效,因爲有許多的隱含規則都是使用了“後綴規則”來定義的,所以,只要隱含規則中有“後綴列表” (也就一系統定義在目標.SUFFIXES的依賴目標),那麼隱含規則就會生效。默認的後綴列表是:.out, .a, .ln, .o, .c, .cc, .C, .p, .f, .F, .r, .y, .l, .s, .S, .mod, .sym, .def, .h, .info, .dvi, .tex, .texinfo, .texi, .txinfo, .w, .ch .web, .sh, .elc, .el。具體的細節,我們會在後面講述。

還是先來看一看常用的隱含規則吧。

1、編譯C程序的隱含規則。
“<n>.o”的目標的依賴目標會自動推導爲“<n>.c”,並且其生成命令是“$(CC) –c $(CPPFLAGS) $(CFLAGS)”

2、編譯C++程序的隱含規則。
“< n>.o”的目標的依賴目標會自動推導爲“<n>.cc”或是“<n>.C”,並且其生成命令是“$(CXX) –c $(CPPFLAGS) $(CFLAGS)”。(建議使用“.cc”作爲C++源文件的後綴,而不是“.C”)

3、編譯Pascal程序的隱含規則。
“<n>.o”的目標的依賴目標會自動推導爲“<n>.p”,並且其生成命令是“$(PC) –c $(PFLAGS)”。

4、編譯Fortran/Ratfor程序的隱含規則。
“<n>.o”的目標的依賴目標會自動推導爲“<n>.r”或“<n>.F”或“<n>.f”,並且其生成命令是:
“.f” “$(FC) –c $(FFLAGS)”
“.F” “$(FC) –c $(FFLAGS) $(CPPFLAGS)”
“.f” “$(FC) –c $(FFLAGS) $(RFLAGS)”

5、預處理Fortran/Ratfor程序的隱含規則。
“<n>.f”的目標的依賴目標會自動推導爲“<n>.r”或“<n>.F”。這個規則只是轉換Ratfor或有預處理的Fortran程序到一個標準的Fortran程序。其使用的命令是:
“.F” “$(FC) –F $(CPPFLAGS) $(FFLAGS)”
“.r” “$(FC) –F $(FFLAGS) $(RFLAGS)”

6、編譯Modula-2程序的隱含規則。
“< n>.sym”的目標的依賴目標會自動推導爲“<n>.def”,並且其生成命令是:“$(M2C) $(M2FLAGS) $(DEFFLAGS)”。“<n.o>” 的目標的依賴目標會自動推導爲“<n>.mod”,並且其生成命令是:“$(M2C) $(M2FLAGS) $(MODFLAGS)”。

7、彙編和彙編預處理的隱含規則。
“<n>.o” 的目標的依賴目標會自動推導爲“<n>.s”,默認使用編譯品“as”,並且其生成命令是:“$(AS) $(ASFLAGS)”。“<n>.s” 的目標的依賴目標會自動推導爲“<n>.S”,默認使用C預編譯器“cpp”,並且其生成命令是:“$(AS) $(ASFLAGS)”。

8、鏈接Object文件的隱含規則。
“< n>”目標依賴於“<n>.o”,通過運行C的編譯器來運行鏈接程序生成(一般是“ld”),其生成命令是:“$(CC) $(LDFLAGS) <n>.o $(LOADLIBES) $(LDLIBS)”。這個規則對於只有一個源文件的工程有效,同時也對多個Object文件(由不同的源文件生成)的也有效。例如如下規則:

x : y.o z.o

並且“x.c”、“y.c”和“z.c”都存在時,隱含規則將執行如下命令:

cc -c x.c -o x.o
cc -c y.c -o y.o
cc -c z.c -o z.o
cc x.o y.o z.o -o x
rm -f x.o
rm -f y.o
rm -f z.o

如果沒有一個源文件(如上例中的x.c)和你的目標名字(如上例中的x)相關聯,那麼,你最好寫出自己的生成規則,不然,隱含規則會報錯的。

9、Yacc C程序時的隱含規則。
“<n>.c”的依賴文件被自動推導爲“n.y”(Yacc生成的文件),其生成命令是:“$(YACC) $(YFALGS)”。(“Yacc”是一個語法分析器,關於其細節請查看相關資料)

10、Lex C程序時的隱含規則。
“<n>.c”的依賴文件被自動推導爲“n.l”(Lex生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。(關於“Lex”的細節請查看相關資料)

11、Lex Ratfor程序時的隱含規則。
“<n>.r”的依賴文件被自動推導爲“n.l”(Lex生成的文件),其生成命令是:“$(LEX) $(LFALGS)”。

12、從C程序、Yacc文件或Lex文件創建Lint庫的隱含規則。
“<n>.ln” (lint生成的文件)的依賴文件被自動推導爲“n.c”,其生成命令是:“$(LINT) $(LINTFALGS) $(CPPFLAGS) -i”。對於“<n>.y”和“<n>.l”也是同樣的規則。


三、隱含規則使用的變量

在隱含規則中的命令中,基本上都是使用了一些預先設置的變量。你可以在你的makefile中改變這些變量的值,或是在make的命令行中傳入這些值,或是在你的環境變量中設置這些值,無論怎麼樣,只要設置了這些特定的變量,那麼其就會對隱含規則起作用。當然,你也可以利用make的“-R”或“-- no–builtin-variables”參數來取消你所定義的變量對隱含規則的作用。

例如,第一條隱含規則——編譯C程序的隱含規則的命令是“$(CC) –c $(CFLAGS) $(CPPFLAGS)”。Make默認的編譯命令是“cc”,如果你把變量“$(CC)”重定義成“gcc”,把變量“$(CFLAGS)”重定義成 “-g”,那麼,隱含規則中的命令全部會以“gcc –c -g $(CPPFLAGS)”的樣子來執行了。

我們可以把隱含規則中使用的變量分成兩種:一種是命令相關的,如“CC”;一種是參數相的關,如“CFLAGS”。下面是所有隱含規則中會用到的變量:

1、關於命令的變量。

AR
函數庫打包程序。默認命令是“ar”。
AS
彙編語言編譯程序。默認命令是“as”。
CC
C語言編譯程序。默認命令是“cc”。
CXX
C++語言編譯程序。默認命令是“g++”。
CO
從 RCS文件中擴展文件程序。默認命令是“co”。
CPP
C程序的預處理器(輸出是標準輸出設備)。默認命令是“$(CC) –E”。
FC
Fortran 和 Ratfor 的編譯器和預處理程序。默認命令是“f77”。
GET
從SCCS文件中擴展文件的程序。默認命令是“get”。
LEX
Lex方法分析器程序(針對於C或Ratfor)。默認命令是“lex”。
PC
Pascal語言編譯程序。默認命令是“pc”。
YACC
Yacc文法分析器(針對於C程序)。默認命令是“yacc”。
YACCR
Yacc文法分析器(針對於Ratfor程序)。默認命令是“yacc –r”。
MAKEINFO
轉換Texinfo源文件(.texi)到Info文件程序。默認命令是“makeinfo”。
TEX
從TeX源文件創建TeX DVI文件的程序。默認命令是“tex”。
TEXI2DVI
從Texinfo源文件創建軍TeX DVI 文件的程序。默認命令是“texi2dvi”。
WEAVE
轉換Web到TeX的程序。默認命令是“weave”。
CWEAVE
轉換C Web 到 TeX的程序。默認命令是“cweave”。
TANGLE
轉換Web到Pascal語言的程序。默認命令是“tangle”。
CTANGLE
轉換C Web 到 C。默認命令是“ctangle”。
RM
刪除文件命令。默認命令是“rm –f”。

2、關於命令參數的變量

下面的這些變量都是相關上面的命令的參數。如果沒有指明其默認值,那麼其默認值都是空。

ARFLAGS
函數庫打包程序AR命令的參數。默認值是“rv”。
ASFLAGS
彙編語言編譯器參數。(當明顯地調用“.s”或“.S”文件時)。
CFLAGS
C語言編譯器參數。
CXXFLAGS
C++語言編譯器參數。
COFLAGS
RCS命令參數。
CPPFLAGS
C預處理器參數。( C 和 Fortran 編譯器也會用到)。
FFLAGS
Fortran語言編譯器參數。
GFLAGS
SCCS “get”程序參數。
LDFLAGS
鏈接器參數。(如:“ld”)
LFLAGS
Lex文法分析器參數。
PFLAGS
Pascal語言編譯器參數。
RFLAGS
Ratfor 程序的Fortran 編譯器參數。
YFLAGS
Yacc文法分析器參數。


四、隱含規則鏈

有些時候,一個目標可能被一系列的隱含規則所作用。例如,一個[.o]的文件生成,可能會是先被Yacc的[.y]文件先成[.c],然後再被C的編譯器生成。我們把這一系列的隱含規則叫做“隱含規則鏈”。

在上面的例子中,如果文件[.c]存在,那麼就直接調用C的編譯器的隱含規則,如果沒有[.c]文件,但有一個[.y]文件,那麼Yacc的隱含規則會被調用,生成[.c]文件,然後,再調用C編譯的隱含規則最終由[.c]生成[.o]文件,達到目標。

我們把這種[.c]的文件(或是目標),叫做中間目標。不管怎麼樣,make會努力自動推導生成目標的一切方法,不管中間目標有多少,其都會執着地把所有的隱含規則和你書寫的規則全部合起來分析,努力達到目標,所以,有些時候,可能會讓你覺得奇怪,怎麼我的目標會這樣生成?怎麼我的makefile發瘋了?

在默認情況下,對於中間目標,它和一般的目標有兩個地方所不同:第一個不同是除非中間的目標不存在,纔會引發中間規則。第二個不同的是,只要目標成功產生,那麼,產生最終目標過程中,所產生的中間目標文件會被以“rm -f”刪除。

通常,一個被makefile指定成目標或是依賴目標的文件不能被當作中介。然而,你可以明顯地說明一個文件或是目標是中介目標,你可以使用僞目標“.INTERMEDIATE”來強制聲明。(如:.INTERMEDIATE : mid )

你也可以阻止make自動刪除中間目標,要做到這一點,你可以使用僞目標“.SECONDARY”來強制聲明(如:.SECONDARY : sec)。你還可以把你的目標,以模式的方式來指定(如:%.o)成僞目標“.PRECIOUS”的依賴目標,以保存被隱含規則所生成的中間文件。

在“隱含規則鏈”中,禁止同一個目標出現兩次或兩次以上,這樣一來,就可防止在make自動推導時出現無限遞歸的情況。

Make 會優化一些特殊的隱含規則,而不生成中間文件。如,從文件“foo.c”生成目標程序“foo”,按道理,make會編譯生成中間文件“foo.o”,然後鏈接成“foo”,但在實際情況下,這一動作可以被一條“cc”的命令完成(cc –o foo foo.c),於是優化過的規則就不會生成中間文件。



五、定義模式規則

你可以使用模式規則來定義一個隱含規則。一個模式規則就好像一個一般的規則,只是在規則中,目標的定義需要有"%"字符。"%"的意思是表示一個或多個任意字符。在依賴目標中同樣可以使用"%",只是依賴目標中的"%"的取值,取決於其目標。

有一點需要注意的是,"%"的展開發生在變量和函數的展開之後,變量和函數的展開發生在make載入Makefile時,而模式規則中的"%"則發生在運行時。


1、模式規則介紹

模式規則中,至少在規則的目標定義中要包含"%",否則,就是一般的規則。目標中的"%"定義表示對文件名的匹配,"%"表示長度任意的非空字符串。例如: "%.c"表示以".c"結尾的文件名(文件名的長度至少爲3),而"s.%.c"則表示以"s."開頭,".c"結尾的文件名(文件名的長度至少爲 5)。

如果"%"定義在目標中,那麼,目標中的"%"的值決定了依賴目標中的"%"的值,也就是說,目標中的模式的"%"決定了依賴目標中"%"的樣子。例如有一個模式規則如下:

%.o : %.c ; <command ......>

其含義是,指出了怎麼從所有的[.c]文件生成相應的[.o]文件的規則。如果要生成的目標是"a.o b.o",那麼"%c"就是"a.c b.c"。

一旦依賴目標中的"%"模式被確定,那麼,make會被要求去匹配當前目錄下所有的文件名,一旦找到,make就會規則下的命令,所以,在模式規則中,目標可能會是多個的,如果有模式匹配出多個目標,make就會產生所有的模式目標,此時,make關心的是依賴的文件名和生成目標的命令這兩件事。


2、模式規則示例

下面這個例子表示了,把所有的[.c]文件都編譯成[.o]文件.

%.o : %.c
$(CC) -c $(CFLAGS) $(CPPFLAGS) $< -o $@

其中,"$@"表示所有的目標的挨個值,"$<"表示了所有依賴目標的挨個值。這些奇怪的變量我們叫"自動化變量",後面會詳細講述。

下面的這個例子中有兩個目標是模式的:

%.tab.c %.tab.h: %.y
bison -d $<

這條規則告訴make把所有的[.y]文件都以"bison -d <n>.y"執行,然後生成"<n>.tab.c"和"<n>.tab.h"文件。(其中,"<n>" 表示一個任意字符串)。如果我們的執行程序"foo"依賴於文件"parse.tab.o"和"scan.o",並且文件"scan.o"依賴於文件 "parse.tab.h",如果"parse.y"文件被更新了,那麼根據上述的規則,"bison -d parse.y"就會被執行一次,於是,"parse.tab.o"和"scan.o"的依賴文件就齊了。(假設,"parse.tab.o"由 "parse.tab.c"生成,和"scan.o"由"scan.c"生成,而"foo"由"parse.tab.o"和"scan.o"鏈接生成,而且foo和其[.o]文件的依賴關係也寫好,那麼,所有的目標都會得到滿足)


3、自動化變量

在上述的模式規則中,目標和依賴文件都是一系例的文件,那麼我們如何書寫一個命令來完成從不同的依賴文件生成相應的目標?因爲在每一次的對模式規則的解析時,都會是不同的目標和依賴文件。

自動化變量就是完成這個功能的。在前面,我們已經對自動化變量有所提涉,相信你看到這裏已對它有一個感性認識了。所謂自動化變量,就是這種變量會把模式中所定義的一系列的文件自動地挨個取出,直至所有的符合模式的文件都取完了。這種自動化變量只應出現在規則的命令中。

下面是所有的自動化變量及其說明:

$@
表示規則中的目標文件集。在模式規則中,如果有多個目標,那麼,"$@"就是匹配於目標中模式定義的集合。

$%
僅當目標是函數庫文件中,表示規則中的目標成員名。例如,如果一個目標是"foo.a(bar.o)",那麼,"$%"就是"bar.o","$@"就是"foo.a"。如果目標不是函數庫文件(Unix下是[.a],Windows下是[.lib]),那麼,其值爲空。

$<
依賴目標中的第一個目標名字。如果依賴目標是以模式(即"%")定義的,那麼"$<"將是符合模式的一系列的文件集。注意,其是一個一個取出來的。

$?
所有比目標新的依賴目標的集合。以空格分隔。

$^
所有的依賴目標的集合。以空格分隔。如果在依賴目標中有多個重複的,那個這個變量會去除重複的依賴目標,只保留一份。

$+
這個變量很像"$^",也是所有依賴目標的集合。只是它不去除重複的依賴目標。

$*
這個變量表示目標模式中"%"及其之前的部分。如果目標是"dir/a.foo.b",並且目標的模式是"a.%.b",那麼,"$*"的值就是 "dir/a.foo"。這個變量對於構造有關聯的文件名是比較有較。如果目標中沒有模式的定義,那麼"$*"也就不能被推導出,但是,如果目標文件的後綴是make所識別的,那麼"$*"就是除了後綴的那一部分。例如:如果目標是"foo.c",因爲".c"是make所能識別的後綴名,所以,"$*" 的值就是"foo"。這個特性是GNU make的,很有可能不兼容於其它版本的make,所以,你應該儘量避免使用"$*",除非是在隱含規則或是靜態模式中。如果目標中的後綴是make所不能識別的,那麼"$*"就是空值。

當你希望只對更新過的依賴文件進行操作時,"$?"在顯式規則中很有用,例如,假設有一個函數庫文件叫"lib",其由其它幾個object文件更新。那麼把object文件打包的比較有效率的Makefile規則是:

lib : foo.o bar.o lose.o win.o
ar r lib $?

在上述所列出來的自動量變量中。四個變量($@、$<、$%、$*)在擴展時只會有一個文件,而另三個的值是一個文件列表。這七個自動化變量還可以取得文件的目錄名或是在當前目錄下的符合模式的文件名,只需要搭配上"D"或"F"字樣。這是GNU make中老版本的特性,在新版本中,我們使用函數"dir"或"notdir"就可以做到了。"D"的含義就是Directory,就是目錄,"F"的含義就是File,就是文件。

下面是對於上面的七個變量分別加上"D"或是"F"的含義:

$(@D)
表示"$@"的目錄部分(不以斜槓作爲結尾),如果"$@"值是"dir/foo.o",那麼"$(@D)"就是"dir",而如果"$@"中沒有包含斜槓的話,其值就是"."(當前目錄)。

$(@F)
表示"$@"的文件部分,如果"$@"值是"dir/foo.o",那麼"$(@F)"就是"foo.o","$(@F)"相當於函數"$(notdir $@)"。

"$(*D)"
"$(*F)"
和上面所述的同理,也是取文件的目錄部分和文件部分。對於上面的那個例子,"$(*D)"返回"dir",而"$(*F)"返回"foo"

"$(%D)"
"$(%F)"
分別表示了函數包文件成員的目錄部分和文件部分。這對於形同"archive(member)"形式的目標中的"member"中包含了不同的目錄很有用。

"$(<D)"
"$(<F)"
分別表示依賴文件的目錄部分和文件部分。

"$(^D)"
"$(^F)"
分別表示所有依賴文件的目錄部分和文件部分。(無相同的)

"$(+D)"
"$(+F)"
分別表示所有依賴文件的目錄部分和文件部分。(可以有相同的)

"$(?D)"
"$(?F)"
分別表示被更新的依賴文件的目錄部分和文件部分。

最後想提醒一下的是,對於"$<",爲了避免產生不必要的麻煩,我們最好給$後面的那個特定字符都加上圓括號,比如,"$(< )"就要比"$<"要好一些。

還得要注意的是,這些變量只使用在規則的命令中,而且一般都是"顯式規則"和"靜態模式規則"(參見前面"書寫規則"一章)。其在隱含規則中並沒有意義。

4、模式的匹配

一般來說,一個目標的模式有一個有前綴或是後綴的"%",或是沒有前後綴,直接就是一個"%"。因爲"%"代表一個或多個字符,所以在定義好了的模式中,我們把"%"所匹配的內容叫做"莖",例如"%.c"所匹配的文件"test.c"中"test"就是"莖"。因爲在目標和依賴目標中同時有"%"時,依賴目標的"莖"會傳給目標,當做目標中的"莖"。

當一個模式匹配包含有斜槓(實際也不經常包含)的文件時,那麼在進行模式匹配時,目錄部分會首先被移開,然後進行匹配,成功後,再把目錄加回去。在進行"莖"的傳遞時,我們需要知道這個步驟。例如有一個模式"e%t",文件"src/eat" 匹配於該模式,於是"src/a"就是其"莖",如果這個模式定義在依賴目標中,而被依賴於這個模式的目標中又有個模式"c%r",那麼,目標就是 "src/car"。("莖"被傳遞)


5、重載內建隱含規則

你可以重載內建的隱含規則(或是定義一個全新的),例如你可以重新構造和內建隱含規則不同的命令,如:

%.o : %.c
$(CC) -c $(CPPFLAGS) $(CFLAGS) -D$(date)

你可以取消內建的隱含規則,只要不在後面寫命令就行。如:

%.o : %.s

同樣,你也可以重新定義一個全新的隱含規則,其在隱含規則中的位置取決於你在哪裏寫下這個規則。朝前的位置就靠前。


六、老式風格的"後綴規則"

後綴規則是一個比較老式的定義隱含規則的方法。後綴規則會被模式規則逐步地取代。因爲模式規則更強更清晰。爲了和老版本的Makefile兼容,GNU make同樣兼容於這些東西。後綴規則有兩種方式:"雙後綴"和"單後綴"。

雙後綴規則定義了一對後綴:目標文件的後綴和依賴目標(源文件)的後綴。如".c.o"相當於"%o : %c"。單後綴規則只定義一個後綴,也就是源文件的後綴。如".c"相當於"% : %.c"。

後綴規則中所定義的後綴應該是make所認識的,如果一個後綴是make所認識的,那麼這個規則就是單後綴規則,而如果兩個連在一起的後綴都被make所認識,那就是雙後綴規則。例如:".c"和".o"都是make所知道。因而,如果你定義了一個規則是".c.o"那麼其就是雙後綴規則,意義就是".c" 是源文件的後綴,".o"是目標文件的後綴。如下示例:

.c.o:
$(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

後綴規則不允許任何的依賴文件,如果有依賴文件的話,那就不是後綴規則,那些後綴統統被認爲是文件名,如:

.c.o: foo.h
$(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

這個例子,就是說,文件".c.o"依賴於文件"foo.h",而不是我們想要的這樣:

%.o: %.c foo.h
$(CC) -c $(CFLAGS) $(CPPFLAGS) -o $@ $<

後綴規則中,如果沒有命令,那是毫無意義的。因爲他也不會移去內建的隱含規則。

而要讓make知道一些特定的後綴,我們可以使用僞目標".SUFFIXES"來定義或是刪除,如:

.SUFFIXES: .hack .win

把後綴.hack和.win加入後綴列表中的末尾。

.SUFFIXES: # 刪除默認的後綴
.SUFFIXES: .c .o .h # 定義自己的後綴

先清楚默認後綴,後定義自己的後綴列表。

make的參數"-r"或"-no-builtin-rules"也會使用得默認的後綴列表爲空。而變量"SUFFIXE"被用來定義默認的後綴列表,你可以用".SUFFIXES"來改變後綴列表,但請不要改變變量"SUFFIXE"的值。


七、隱含規則搜索算法

比如我們有一個目標叫 T。下面是搜索目標T的規則的算法。請注意,在下面,我們沒有提到後綴規則,原因是,所有的後綴規則在Makefile被載入內存時,會被轉換成模式規則。如果目標是"archive(member)"的函數庫文件模式,那麼這個算法會被運行兩次,第一次是找目標T,如果沒有找到的話,那麼進入第二次,第二次會把"member"當作T來搜索。

1、把T的目錄部分分離出來。叫D,而剩餘部分叫N。(如:如果T是"src/foo.o",那麼,D就是"src/",N就是"foo.o")

2、創建所有匹配於T或是N的模式規則列表。

3、如果在模式規則列表中有匹配所有文件的模式,如"%",那麼從列表中移除其它的模式。

4、移除列表中沒有命令的規則。

5、對於第一個在列表中的模式規則:
1)推導其"莖"S,S應該是T或是N匹配於模式中"%"非空的部分。
2)計算依賴文件。把依賴文件中的"%"都替換成"莖"S。如果目標模式中沒有包含斜框字符,而把D加在第一個依賴文件的開頭。
3)測試是否所有的依賴文件都存在或是理當存在。(如果有一個文件被定義成另外一個規則的目標文件,或者是一個顯式規則的依賴文件,那麼這個文件就叫"理當存在")
4)如果所有的依賴文件存在或是理當存在,或是就沒有依賴文件。那麼這條規則將被採用,退出該算法。

6、如果經過第5步,沒有模式規則被找到,那麼就做更進一步的搜索。對於存在於列表中的第一個模式規則:
1)如果規則是終止規則,那就忽略它,繼續下一條模式規則。
2)計算依賴文件。(同第5步)
3)測試所有的依賴文件是否存在或是理當存在。
4)對於不存在的依賴文件,遞歸調用這個算法查找他是否可以被隱含規則找到。
5)如果所有的依賴文件存在或是理當存在,或是就根本沒有依賴文件。那麼這條規則被採用,退出該算法。

7、如果沒有隱含規則可以使用,查看".DEFAULT"規則,如果有,採用,把".DEFAULT"的命令給T使用。

一旦規則被找到,就會執行其相當的命令,而此時,我們的自動化變量的值纔會生成。


使用make更新函數庫文件
———————————

函數庫文件也就是對Object文件(程序編譯的中間文件)的打包文件。在Unix下,一般是由命令"ar"來完成打包工作。

一、函數庫文件的成員

一個函數庫文件由多個文件組成。你可以以如下格式指定函數庫文件及其組成:

archive(member)

這個不是一個命令,而一個目標和依賴的定義。一般來說,這種用法基本上就是爲了"ar"命令來服務的。如:

foolib(hack.o) : hack.o
ar cr foolib hack.o

如果要指定多個member,那就以空格分開,如:

foolib(hack.o kludge.o)

其等價於:

foolib(hack.o) foolib(kludge.o)

你還可以使用Shell的文件通配符來定義,如:

foolib(*.o)


二、函數庫成員的隱含規則

當make 搜索一個目標的隱含規則時,一個特殊的特性是,如果這個目標是"a(m)"形式的,其會把目標變成"(m)"。於是,如果我們的成員是"%.o"的模式定義,並且如果我們使用"make foo.a(bar.o)"的形式調用Makefile時,隱含規則會去找"bar.o"的規則,如果沒有定義bar.o的規則,那麼內建隱含規則生效, make會去找bar.c文件來生成bar.o,如果找得到的話,make執行的命令大致如下:

cc -c bar.c -o bar.o
ar r foo.a bar.o
rm -f bar.o

還有一個變量要注意的是"$%",這是專屬函數庫文件的自動化變量,有關其說明請參見"自動化變量"一節。


三、函數庫文件的後綴規則

你可以使用"後綴規則"和"隱含規則"來生成函數庫打包文件,如:

.c.a:
$(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $*.o
$(AR) r $@ $*.o
$(RM) $*.o

其等效於:

(%.o) : %.c
$(CC) $(CFLAGS) $(CPPFLAGS) -c $< -o $*.o
$(AR) r $@ $*.o
$(RM) $*.o


四、注意事項

在進行函數庫打包文件生成時,請小心使用make的並行機制("-j"參數)。如果多個ar命令在同一時間運行在同一個函數庫打包文件上,就很有可以損壞這個函數庫文件。所以,在make未來的版本中,應該提供一種機制來避免並行操作發生在函數打包文件上。

但就目前而言,你還是應該不要儘量不要使用"-j"參數。



後序
——

終於到寫結束語的時候了,以上基本上就是GNU make的Makefile的所有細節了。其它的產商的make基本上也就是這樣的,無論什麼樣的make,都是以文件的依賴性爲基礎的,其基本是都是遵循一個標準的。這篇文檔中80%的技術細節都適用於任何的make,我猜測"函數"那一章的內容可能不是其它make所支持的,而隱含規則方面,我想不同的make會有不同的實現,我沒有精力來查看GNU的make和VC的nmake、BCB的make,或是別的UNIX下的make有些什麼樣的差別,一是時間精力不夠,二是因爲我基本上都是在Unix下使用make,以前在SCO Unix和IBM的AIX,現在在Linux、Solaris、HP-UX、AIX和Alpha下使用,Linux和Solaris下更多一點。不過,我可以肯定的是,在Unix下的make,無論是哪種平臺,幾乎都使用了Richard Stallman開發的make和cc/gcc的編譯器,而且,基本上都是GNU的make(公司裏所有的UNIX機器上都被裝上了GNU的東西,所以,使用GNU的程序也就多了一些)。GNU的東西還是很不錯的,特別是使用得深了以後,越來越覺得GNU的軟件的強大,也越來越覺得GNU的在操作系統中(主要是Unix,甚至Windows)"殺傷力"。

對於上述所有的make的細節,我們不但可以利用make這個工具來編譯我們的程序,還可以利用make來完成其它的工作,因爲規則中的命令可以是任何Shell之下的命令,所以,在Unix下,你不一定只是使用程序語言的編譯器,你還可以在Makefile中書寫其它的命令,如:tar、awk、mail、sed、cvs、compress、ls、rm、yacc、rpm、 ftp……等等,等等,來完成諸如"程序打包"、"程序備份"、"製作程序安裝包"、"提交代碼"、"使用程序模板"、"合併文件"等等五花八門的功能,文件操作,文件管理,編程開發設計,或是其它一些異想天開的東西。比如,以前在書寫銀行交易程序時,由於銀行的交易程序基本一樣,就見到有人書寫了一些交易的通用程序模板,在該模板中把一些網絡通訊、數據庫操作的、業務操作共性的東西寫在一個文件中,在這些文件中用些諸如"@@@N、###N"奇怪字串標註一些位置,然後書寫交易時,只需按照一種特定的規則書寫特定的處理,最後在make時,使用awk和sed,把模板中的"@@@N、###N"等字串替代成特定的程序,形成C文件,然後再編譯。這個動作很像數據庫的"擴展C"語言(即在C語言中用"EXEC SQL"的樣子執行SQL語句,在用 cc/gcc編譯之前,需要使用"擴展C"的翻譯程序,如cpre,把其翻譯成標準C)。如果你在使用make時有一些更爲絕妙的方法,請記得告訴我啊。

回頭看看整篇文檔,不覺記起幾年前剛剛開始在Unix下做開發的時候,有人問我會不會寫Makefile時,我兩眼發直,根本不知道在說什麼。一開始看到別人在vi中寫完程序後輸入"!make"時,還以爲是vi的功能,後來才知道有一個Makefile在作怪,於是上網查啊查,那時又不願意看英文,發現就根本沒有中文的文檔介紹Makefile,只得看別人寫的Makefile,自己瞎碰瞎搞才積累了一點知識,但在很多地方完全是知其然不知所以然。後來開始從事UNIX下產品軟件的開發,看到一個400人年,近200萬行代碼的大工程,發現要編譯這樣一個龐然大物,如果沒有Makefile,那會是多麼恐怖的一樣事啊。於是橫下心來,狠命地讀了一堆英文文檔,才覺得對其掌握了。但發現目前網上對Makefile介紹的文章還是少得那麼的可憐,所以想寫這樣一篇文章,共享給大家,希望能對各位有所幫助。

現在我終於寫完了,看了看文件的創建時間,這篇技術文檔也寫了兩個多月了。發現,自己知道是一回事,要寫下來,跟別人講述又是另外一回事,而且,現在越來越沒有時間專研技術細節,所以在寫作時,發現在闡述一些細節問題時很難做到嚴謹和精練,而且對先講什麼後講什麼不是很清楚,所以,還是參考了一些國外站點上的資料和題綱,以及一些技術書籍的語言風格,才得以完成。整篇文檔的提綱是基於GNU的 Makefile技術手冊的提綱來書寫的,並結合了自己的工作經驗,以及自己的學習歷程。因爲從來沒有寫過這麼長,這麼細的文檔,所以一定會有很多地方存在表達問題,語言歧義或是錯誤。因些,我迫切地得等待各位給我指證和建議,以及任何的反饋。

最後,還是利用這個後序,介紹一下自己。我目前從事於所有Unix平臺下的軟件研發,主要是做分佈式計算/網格計算方面的系統產品軟件,並且我對於下一代的計算機革命——網格計算非常地感興趣,對於分佈式計算、P2P、Web Service、J2EE技術方向也很感興趣,同時,對於項目實施、團隊管理、項目管理也小有心得,希望同樣和我戰鬥在“技術和管理並重”的陣線上的年輕一代,能夠和我多多地交流。我的MSN是:[email protected](常用),QQ是:753640(不常用)。(注:請勿給我MSN的郵箱發信,由於hotmail的垃圾郵件導致我拒收這個郵箱的所有來信)

我歡迎任何形式的交流,無論是討論技術還是管理,或是其它海闊天空的東西。除了政治和娛樂新聞我不關心,其它只要積極向上的東西我都歡迎!

最最後,我還想介紹一下make程序的設計開發者。

首當其衝的是: Richard Stallman

開源軟件的領袖和先驅,從來沒有領過一天工資,從來沒有使用過Windows操作系統。對於他的事蹟和他的軟件以及他的思想,我無需說過多的話,相信大家對這個人並不比我陌生,這是他的主頁:
http://www.stallman.org/



第二位是:Roland McGrath

個人主頁是:
http://www.frob.com/~roland/ ,下面是他的一些事蹟:

1) 合作編寫了並維護GNU make。

2) 和Thomas Bushnell一同編寫了GNU Hurd。

3) 編寫並維護着GNU C library。

4) 合作編寫並維護着部分的GNU Emacs。



在此,向這兩位開源項目的鬥士致以最真切的敬意。


(全文完)

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章