Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=2897
隱含規(guī)則
————
在我們使用Makefile時(shí)，有一些我們會(huì)經(jīng)常使用，而且使用頻率非常高的東西，比如，我們編譯C/C++的源程序?yàn)橹虚g目標(biāo)文件（Unix下是[.o]文件，Windows下是[.obj]文件）。本章講述的就是一些在Makefile中的“隱含的”，早先約定了的，不需要我們?cè)賹?xiě)出來(lái)的規(guī)則。
“隱含規(guī)則”也就是一種慣例，make會(huì)按照這種“慣例”心照不喧地來(lái)運(yùn)行，那怕我們的Makefile中沒(méi)有書(shū)寫(xiě)這樣的規(guī)則。例如，把[.c]文件編譯成[.o]文件這一規(guī)則，你根本就不用寫(xiě)出來(lái)，make會(huì)自動(dòng)推導(dǎo)出這種規(guī)則，并生成我們需要的[.o]文件。
“隱含規(guī)則”會(huì)使用一些我們系統(tǒng)變量，我們可以改變這些系統(tǒng)變量的值來(lái)定制隱含規(guī)則的運(yùn)行時(shí)的參數(shù)。如系統(tǒng)變量“CFLAGS”可以控制編譯時(shí)的編譯器參數(shù)。
我們還可以通過(guò)“模式規(guī)則”的方式寫(xiě)下自己的隱含規(guī)則。用“后綴規(guī)則”來(lái)定義隱含規(guī)則會(huì)有許多的限制。使用“模式規(guī)則”會(huì)更回得智能和清楚，但“后綴規(guī)則”可以用來(lái)保證我們Makefile的兼容性。
我們了解了“隱含規(guī)則”，可以讓其為我們更好的服務(wù)，也會(huì)讓我們知道一些“約定俗成”了的東西，而不至于使得我們?cè)谶\(yùn)行Makefile時(shí)出現(xiàn)一些我們覺(jué)得莫名其妙的東西。當(dāng)然，任何事物都是矛盾的，水能載舟，亦可覆舟，所以，有時(shí)候“隱含規(guī)則”也會(huì)給我們?cè)斐刹恍〉穆闊Ｖ挥辛私饬怂覀儾拍芨玫厥褂盟?/font>
一、使用隱含規(guī)則
如果要使用隱含規(guī)則生成你需要的目標(biāo)，你所需要做的就是不要寫(xiě)出這個(gè)目標(biāo)的規(guī)則。那么，make會(huì)試圖去自動(dòng)推導(dǎo)產(chǎn)生這個(gè)目標(biāo)的規(guī)則和命令，如果make可以自動(dòng)推導(dǎo)生成這個(gè)目標(biāo)的規(guī)則和命令，那么這個(gè)行為就是隱含規(guī)則的自動(dòng)推導(dǎo)。當(dāng)然，隱含規(guī)則是make事先約定好的一些東西。例如，我們有下面的一個(gè)Makefile：
??? foo : foo.o bar.o
??????????? cc –o foo foo.o bar.o $(CFLAGS) $(LDFLAGS)
我們可以注意到，這個(gè)Makefile中并沒(méi)有寫(xiě)下如何生成foo.o和bar.o這兩目標(biāo)的規(guī)則和命令。因?yàn)閙ake的“隱含規(guī)則”功能會(huì)自動(dòng)為我們自動(dòng)去推導(dǎo)這兩個(gè)目標(biāo)的依賴(lài)目標(biāo)和生成命令。
make會(huì)在自己的“隱含規(guī)則”庫(kù)中尋找可以用的規(guī)則，如果找到，那么就會(huì)使用。如果找不到，那么就會(huì)報(bào)錯(cuò)。在上面的那個(gè)例子中，make調(diào)用的隱含規(guī)則是，把[.o]的目標(biāo)的依賴(lài)文件置成[.c]，并使用C的編譯命令“cc –c $(CFLAGS) [.c]”來(lái)生成[.o]的目標(biāo)。也就是說(shuō)，我們完全沒(méi)有必要寫(xiě)下下面的兩條規(guī)則：
??? foo.o : foo.c
??????????? cc –c foo.c $(CFLAGS)
??? bar.o : bar.c
??????? cc –c bar.c $(CFLAGS)
因?yàn)椋@已經(jīng)是“約定”好了的事了，make和我們約定好了用C編譯器“cc”生成[.o]文件的規(guī)則，這就是隱含規(guī)則。
當(dāng)然，如果我們?yōu)閇.o]文件書(shū)寫(xiě)了自己的規(guī)則，那么make就不會(huì)自動(dòng)推導(dǎo)并調(diào)用隱含規(guī)則，它會(huì)按照我們寫(xiě)好的規(guī)則忠實(shí)地執(zhí)行。
還有，在make的“隱含規(guī)則庫(kù)”中，每一條隱含規(guī)則都在庫(kù)中有其順序，越靠前的則是越被經(jīng)常使用的，所以，這會(huì)導(dǎo)致我們有些時(shí)候即使我們顯示地指定了目標(biāo)依賴(lài)，make也不會(huì)管。如下面這條規(guī)則（沒(méi)有命令）：
??? foo.o : foo.p
依賴(lài)文件“foo.p”（Pascal程序的源文件）有可能變得沒(méi)有意義。如果目錄下存在了“foo.c”文件，那么我們的隱含規(guī)則一樣會(huì)生效，并會(huì)通過(guò)“foo.c”調(diào)用C的編譯器生成foo.o文件。因?yàn)椋陔[含規(guī)則中，Pascal的規(guī)則出現(xiàn)在C的規(guī)則之后，所以，make找到可以生成foo.o的C的規(guī)則就不再尋找下一條規(guī)則了。如果你確實(shí)不希望任何隱含規(guī)則推導(dǎo)，那么，你就不要只寫(xiě)出“依賴(lài)規(guī)則”，而不寫(xiě)命令。
二、隱含規(guī)則一覽
這里我們將講述所有預(yù)先設(shè)置（也就是make內(nèi)建）的隱含規(guī)則，如果我們不明確地寫(xiě)下規(guī)則，那么，make就會(huì)在這些規(guī)則中尋找所需要規(guī)則和命令。當(dāng)然，我們也可以使用make的參數(shù)“-r”或“--no-builtin-rules”選項(xiàng)來(lái)取消所有的預(yù)設(shè)置的隱含規(guī)則。
當(dāng)然，即使是我們指定了“-r”參數(shù)，某些隱含規(guī)則還是會(huì)生效，因?yàn)橛性S多的隱含規(guī)則都是使用了“后綴規(guī)則”來(lái)定義的，所以，只要隱含規(guī)則中有“后綴列表”（也就一系統(tǒng)定義在目標(biāo).SUFFIXES的依賴(lài)目標(biāo)），那么隱含規(guī)則就會(huì)生效。默認(rèn)的后綴列表是：.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。具體的細(xì)節(jié)，我們會(huì)在后面講述。
還是先來(lái)看一看常用的隱含規(guī)則吧。
1、編譯C程序的隱含規(guī)則。
“<n>.o”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.c”，并且其生成命令是“$(CC) –c $(CPPFLAGS) $(CFLAGS)”
2、編譯C++程序的隱含規(guī)則。
“<n>.o”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.cc”或是“<n>.C”，并且其生成命令是“$(CXX) –c $(CPPFLAGS) $(CFLAGS)”。（建議使用“.cc”作為C++源文件的后綴，而不是“.C”）
3、編譯Pascal程序的隱含規(guī)則。
“<n>.o”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.p”，并且其生成命令是“$(PC) –c? $(PFLAGS)”。
4、編譯Fortran/Ratfor程序的隱含規(guī)則。
“<n>.o”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.r”或“<n>.F”或“<n>.f”，并且其生成命令是:
??? “.f”? “$(FC) –c? $(FFLAGS)”
??? “.F”? “$(FC) –c? $(FFLAGS) $(CPPFLAGS)”
??? “.f”? “$(FC) –c? $(FFLAGS) $(RFLAGS)”
5、預(yù)處理Fortran/Ratfor程序的隱含規(guī)則。
“<n>.f”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.r”或“<n>.F”。這個(gè)規(guī)則只是轉(zhuǎn)換Ratfor或有預(yù)處理的Fortran程序到一個(gè)標(biāo)準(zhǔn)的Fortran程序。其使用的命令是：
??? “.F”? “$(FC) –F $(CPPFLAGS) $(FFLAGS)”
??? “.r”? “$(FC) –F $(FFLAGS) $(RFLAGS)”
6、編譯Modula-2程序的隱含規(guī)則。
“<n>.sym”的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.def”，并且其生成命令是：“$(M2C) $(M2FLAGS) $(DEFFLAGS)”。“<n.o>” 的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.mod”，并且其生成命令是：“$(M2C) $(M2FLAGS) $(MODFLAGS)”。
7、匯編和匯編預(yù)處理的隱含規(guī)則。
“<n>.o” 的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.s”，默認(rèn)使用編譯品“as”，并且其生成命令是：“$(AS) $(ASFLAGS)”。“<n>.s” 的目標(biāo)的依賴(lài)目標(biāo)會(huì)自動(dòng)推導(dǎo)為“<n>.S”，默認(rèn)使用C預(yù)編譯器“cpp”，并且其生成命令是：“$(AS) $(ASFLAGS)”。
8、鏈接Object文件的隱含規(guī)則。
“<n>”目標(biāo)依賴(lài)于“<n>.o”，通過(guò)運(yùn)行C的編譯器來(lái)運(yùn)行鏈接程序生成（一般是“l(fā)d”），其生成命令是：“$(CC) $(LDFLAGS) <n>.o $(LOADLIBES) $(LDLIBS)”。這個(gè)規(guī)則對(duì)于只有一個(gè)源文件的工程有效，同時(shí)也對(duì)多個(gè)Object文件（由不同的源文件生成）的也有效。例如如下規(guī)則：
??? x : y.o z.o
并且“x.c”、“y.c”和“z.c”都存在時(shí)，隱含規(guī)則將執(zhí)行如下命令：
??? 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
如果沒(méi)有一個(gè)源文件（如上例中的x.c）和你的目標(biāo)名字（如上例中的x）相關(guān)聯(lián)，那么，你最好寫(xiě)出自己的生成規(guī)則，不然，隱含規(guī)則會(huì)報(bào)錯(cuò)的。
9、Yacc C程序時(shí)的隱含規(guī)則。
“<n>.c”的依賴(lài)文件被自動(dòng)推導(dǎo)為“n.y”（Yacc生成的文件），其生成命令是：“$(YACC) $(YFALGS)”。（“Yacc”是一個(gè)語(yǔ)法分析器，關(guān)于其細(xì)節(jié)請(qǐng)查看相關(guān)資料）
10、Lex C程序時(shí)的隱含規(guī)則。
“<n>.c”的依賴(lài)文件被自動(dòng)推導(dǎo)為“n.l”（Lex生成的文件），其生成命令是：“$(LEX) $(LFALGS)”。（關(guān)于“Lex”的細(xì)節(jié)請(qǐng)查看相關(guān)資料）
11、Lex Ratfor程序時(shí)的隱含規(guī)則。
“<n>.r”的依賴(lài)文件被自動(dòng)推導(dǎo)為“n.l”（Lex生成的文件），其生成命令是：“$(LEX) $(LFALGS)”。
12、從C程序、Yacc文件或Lex文件創(chuàng)建Lint庫(kù)的隱含規(guī)則。
“<n>.ln” （lint生成的文件）的依賴(lài)文件被自動(dòng)推導(dǎo)為“n.c”，其生成命令是：“$(LINT) $(LINTFALGS) $(CPPFLAGS) -i”。對(duì)于“<n>.y”和“<n>.l”也是同樣的規(guī)則。
三、隱含規(guī)則使用的變量
在隱含規(guī)則中的命令中，基本上都是使用了一些預(yù)先設(shè)置的變量。你可以在你的makefile中改變這些變量的值，或是在make的命令行中傳入這些值，或是在你的環(huán)境變量中設(shè)置這些值，無(wú)論怎么樣，只要設(shè)置了這些特定的變量，那么其就會(huì)對(duì)隱含規(guī)則起作用。當(dāng)然，你也可以利用make的“-R”或“--no–builtin-variables”參數(shù)來(lái)取消你所定義的變量對(duì)隱含規(guī)則的作用。
例如，第一條隱含規(guī)則——編譯C程序的隱含規(guī)則的命令是“$(CC) –c $(CFLAGS) $(CPPFLAGS)”。Make默認(rèn)的編譯命令是“cc”，如果你把變量“$(CC)”重定義成“gcc”，把變量“$(CFLAGS)”重定義成“-g”，那么，隱含規(guī)則中的命令全部會(huì)以“gcc –c -g $(CPPFLAGS)”的樣子來(lái)執(zhí)行了。
我們可以把隱含規(guī)則中使用的變量分成兩種：一種是命令相關(guān)的，如“CC”；一種是參數(shù)相的關(guān)，如“CFLAGS”。下面是所有隱含規(guī)則中會(huì)用到的變量：
1、關(guān)于命令的變量。
AR
??? 函數(shù)庫(kù)打包程序。默認(rèn)命令是“ar”。
AS
??? 匯編語(yǔ)言編譯程序。默認(rèn)命令是“as”。
CC
??? C語(yǔ)言編譯程序。默認(rèn)命令是“cc”。
CXX
??? C++語(yǔ)言編譯程序。默認(rèn)命令是“g++”。
CO
??? 從 RCS文件中擴(kuò)展文件程序。默認(rèn)命令是“co”。
CPP
??? C程序的預(yù)處理器（輸出是標(biāo)準(zhǔn)輸出設(shè)備）。默認(rèn)命令是“$(CC) –E”。
FC
??? Fortran 和 Ratfor 的編譯器和預(yù)處理程序。默認(rèn)命令是“f77”。
GET
??? 從SCCS文件中擴(kuò)展文件的程序。默認(rèn)命令是“get”。
LEX
??? Lex方法分析器程序（針對(duì)于C或Ratfor）。默認(rèn)命令是“l(fā)ex”。
PC
??? Pascal語(yǔ)言編譯程序。默認(rèn)命令是“pc”。
YACC
??? Yacc文法分析器（針對(duì)于C程序）。默認(rèn)命令是“yacc”。
YACCR
??? Yacc文法分析器（針對(duì)于Ratfor程序）。默認(rèn)命令是“yacc –r”。
MAKEINFO
??? 轉(zhuǎn)換Texinfo源文件（.texi）到Info文件程序。默認(rèn)命令是“makeinfo”。
TEX
??? 從TeX源文件創(chuàng)建TeX DVI文件的程序。默認(rèn)命令是“tex”。
TEXI2DVI
??? 從Texinfo源文件創(chuàng)建軍TeX DVI 文件的程序。默認(rèn)命令是“texi2dvi”。
WEAVE
??? 轉(zhuǎn)換Web到TeX的程序。默認(rèn)命令是“weave”。
CWEAVE
??? 轉(zhuǎn)換C Web 到 TeX的程序。默認(rèn)命令是“cweave”。
TANGLE
??? 轉(zhuǎn)換Web到Pascal語(yǔ)言的程序。默認(rèn)命令是“tangle”。
CTANGLE
??? 轉(zhuǎn)換C Web 到 C。默認(rèn)命令是“ctangle”。
RM
??? 刪除文件命令。默認(rèn)命令是“rm –f”。
2、關(guān)于命令參數(shù)的變量
下面的這些變量都是相關(guān)上面的命令的參數(shù)。如果沒(méi)有指明其默認(rèn)值，那么其默認(rèn)值都是空。
ARFLAGS
??? 函數(shù)庫(kù)打包程序AR命令的參數(shù)。默認(rèn)值是“rv”。
ASFLAGS
??? 匯編語(yǔ)言編譯器參數(shù)。（當(dāng)明顯地調(diào)用“.s”或“.S”文件時(shí)）。
CFLAGS
??? C語(yǔ)言編譯器參數(shù)。
CXXFLAGS
??? C++語(yǔ)言編譯器參數(shù)。
COFLAGS
??? RCS命令參數(shù)。
CPPFLAGS
??? C預(yù)處理器參數(shù)。（ C 和 Fortran 編譯器也會(huì)用到）。
FFLAGS
??? Fortran語(yǔ)言編譯器參數(shù)。
GFLAGS
??? SCCS “get”程序參數(shù)。
LDFLAGS
??? 鏈接器參數(shù)。（如：“l(fā)d”）
LFLAGS
??? Lex文法分析器參數(shù)。
PFLAGS
??? Pascal語(yǔ)言編譯器參數(shù)。
RFLAGS
??? Ratfor 程序的Fortran 編譯器參數(shù)。
YFLAGS
??? Yacc文法分析器參數(shù)。
四、隱含規(guī)則鏈
有些時(shí)候，一個(gè)目標(biāo)可能被一系列的隱含規(guī)則所作用。例如，一個(gè)[.o]的文件生成，可能會(huì)是先被Yacc的[.y]文件先成[.c]，然后再被C的編譯器生成。我們把這一系列的隱含規(guī)則叫做“隱含規(guī)則鏈”。
在上面的例子中，如果文件[.c]存在，那么就直接調(diào)用C的編譯器的隱含規(guī)則，如果沒(méi)有[.c]文件，但有一個(gè)[.y]文件，那么Yacc的隱含規(guī)則會(huì)被調(diào)用，生成[.c]文件，然后，再調(diào)用C編譯的隱含規(guī)則最終由[.c]生成[.o]文件，達(dá)到目標(biāo)。
我們把這種[.c]的文件（或是目標(biāo)），叫做中間目標(biāo)。不管怎么樣，make會(huì)努力自動(dòng)推導(dǎo)生成目標(biāo)的一切方法，不管中間目標(biāo)有多少，其都會(huì)執(zhí)著地把所有的隱含規(guī)則和你書(shū)寫(xiě)的規(guī)則全部合起來(lái)分析，努力達(dá)到目標(biāo)，所以，有些時(shí)候，可能會(huì)讓你覺(jué)得奇怪，怎么我的目標(biāo)會(huì)這樣生成？怎么我的makefile發(fā)瘋了？
在默認(rèn)情況下，對(duì)于中間目標(biāo)，它和一般的目標(biāo)有兩個(gè)地方所不同：第一個(gè)不同是除非中間的目標(biāo)不存在，才會(huì)引發(fā)中間規(guī)則。第二個(gè)不同的是，只要目標(biāo)成功產(chǎn)生，那么，產(chǎn)生最終目標(biāo)過(guò)程中，所產(chǎn)生的中間目標(biāo)文件會(huì)被以“rm -f”刪除。
通常，一個(gè)被makefile指定成目標(biāo)或是依賴(lài)目標(biāo)的文件不能被當(dāng)作中介。然而，你可以明顯地說(shuō)明一個(gè)文件或是目標(biāo)是中介目標(biāo)，你可以使用偽目標(biāo)“.INTERMEDIATE”來(lái)強(qiáng)制聲明。（如：.INTERMEDIATE ： mid ）
你也可以阻止make自動(dòng)刪除中間目標(biāo)，要做到這一點(diǎn)，你可以使用偽目標(biāo)“.SECONDARY”來(lái)強(qiáng)制聲明（如：.SECONDARY : sec）。你還可以把你的目標(biāo)，以模式的方式來(lái)指定（如：%.o）成偽目標(biāo)“.PRECIOUS”的依賴(lài)目標(biāo)，以保存被隱含規(guī)則所生成的中間文件。
在“隱含規(guī)則鏈”中，禁止同一個(gè)目標(biāo)出現(xiàn)兩次或兩次以上，這樣一來(lái)，就可防止在make自動(dòng)推導(dǎo)時(shí)出現(xiàn)無(wú)限遞歸的情況。
Make會(huì)優(yōu)化一些特殊的隱含規(guī)則，而不生成中間文件。如，從文件“foo.c”生成目標(biāo)程序“foo”，按道理，make會(huì)編譯生成中間文件“foo.o”，然后鏈接成“foo”，但在實(shí)際情況下，這一動(dòng)作可以被一條“cc”的命令完成（cc –o foo foo.c），于是優(yōu)化過(guò)的規(guī)則就不會(huì)生成中間文件。