隱含規(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è)斐刹恍〉穆闊?。只有了解了它，我們才能更好地使用它?/p>

　　一、使用隱含規(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)的依賴目標(biāo)和生成命令。

　　make會(huì)在自己的“隱含規(guī)則”庫(kù)中尋找可以用的規(guī)則，如果找到，那么就會(huì)使用。如果找不到，那么就會(huì)報(bào)錯(cuò)。在上面的那個(gè)例子中，make調(diào)用的隱含規(guī)則是，把［.o］的目標(biāo)的依賴文件置成［.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)依賴，make也不會(huì)管。如下面這條規(guī)則（沒(méi)有命令）：

　　foo.o ： foo.p

　　依賴文件“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ě)出“依賴規(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的依賴目標(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)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.c”，并且其生成命令是“$（CC） –c $（CPPFLAGS） $（CFLAGS）”

　　2、編譯C++程序的隱含規(guī)則。

　　“《n》.o”的目標(biāo)的依賴目標(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)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.p”，并且其生成命令是“$（PC） –c $（PFLAGS）”。

　　4、編譯Fortran/Ratfor程序的隱含規(guī)則。

　　“《n》.o”的目標(biāo)的依賴目標(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)的依賴目標(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)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.def”，并且其生成命令是：“$（M2C） $（M2FLAGS） $（DEFFLAGS）”?！啊秐.o》” 的目標(biāo)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.mod”，并且其生成命令是：“$（M2C） $（M2FLAGS） $（MODFLAGS）”。

　　7、匯編和匯編預(yù)處理的隱含規(guī)則。

　　“《n》.o” 的目標(biāo)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.s”，默認(rèn)使用編譯品“as”，并且其生成命令是：“$（AS） $（ASFLAGS）”。“《n》.s” 的目標(biāo)的依賴目標(biāo)會(huì)自動(dòng)推導(dǎo)為“《n》.S”，默認(rèn)使用C預(yù)編譯器“cpp”，并且其生成命令是：“$（AS） $（ASFLAGS）”。

　　8、鏈接Object文件的隱含規(guī)則。

　　“《n》”目標(biāo)依賴于“《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”的依賴文件被自動(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”的依賴文件被自動(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”的依賴文件被自動(dòng)推導(dǎo)為“n.l”（Lex生成的文件），其生成命令是：“$（LEX） $（LFALGS）”。

　　12、從C程序、Yacc文件或Lex文件創(chuàng)建Lint庫(kù)的隱含規(guī)則。

　　“《n》.ln” （lint生成的文件）的依賴文件被自動(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)或是依賴目標(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”的依賴目標(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ì)生成中間文件。

　　五、定義模式規(guī)則

　　你可以使用模式規(guī)則來(lái)定義一個(gè)隱含規(guī)則。一個(gè)模式規(guī)則就好像一個(gè)一般的規(guī)則，只是在規(guī)則中，目標(biāo)的定義需要有“%”字符?！?”的意思是表示一個(gè)或多個(gè)任意字符。在依賴目標(biāo)中同樣可以使用“%”，只是依賴目標(biāo)中的“%”的取值，取決于其目標(biāo)。

　　有一點(diǎn)需要注意的是，“%”的展開(kāi)發(fā)生在變量和函數(shù)的展開(kāi)之后，變量和函數(shù)的展開(kāi)發(fā)生在make載入Makefile時(shí)，而模式規(guī)則中的“%”則發(fā)生在運(yùn)行時(shí)。

　　1、模式規(guī)則介紹

　　模式規(guī)則中，至少在規(guī)則的目標(biāo)定義中要包含“%”，否則，就是一般的規(guī)則。目標(biāo)中的“%”定義表示對(duì)文件名的匹配，“%”表示長(zhǎng)度任意的非空字符串。例如：“%.c”表示以“.c”結(jié)尾的文件名（文件名的長(zhǎng)度至少為3），而“s.%.c”則表示以“s.”開(kāi)頭，“.c”結(jié)尾的文件名（文件名的長(zhǎng)度至少為5）。

　　如果“%”定義在目標(biāo)中，那么，目標(biāo)中的“%”的值決定了依賴目標(biāo)中的“%”的值，也就是說(shuō)，目標(biāo)中的模式的“%”決定了依賴目標(biāo)中“%”的樣子。例如有一個(gè)模式規(guī)則如下：

　　%.o ： %.c ; 《command 。。.。。.》

　　其含義是，指出了怎么從所有的［.c］文件生成相應(yīng)的［.o］文件的規(guī)則。如果要生成的目標(biāo)是“a.o b.o”，那么“%c”就是“a.c b.c”。

　　一旦依賴目標(biāo)中的“%”模式被確定，那么，make會(huì)被要求去匹配當(dāng)前目錄下所有的文件名，一旦找到，make就會(huì)規(guī)則下的命令，所以，在模式規(guī)則中，目標(biāo)可能會(huì)是多個(gè)的，如果有模式匹配出多個(gè)目標(biāo)，make就會(huì)產(chǎn)生所有的模式目標(biāo)，此時(shí)，make關(guān)心的是依賴的文件名和生成目標(biāo)的命令這兩件事。

　　2、模式規(guī)則示例

　　下面這個(gè)例子表示了，把所有的［.c］文件都編譯成［.o］文件。

　　%.o ： %.c

　　$（CC） -c $（CFLAGS） $（CPPFLAGS） $《 -o $@

　　其中，“$@”表示所有的目標(biāo)的挨個(gè)值，“$《”表示了所有依賴目標(biāo)的挨個(gè)值。這些奇怪的變量我們叫“自動(dòng)化變量”，后面會(huì)詳細(xì)講述。

　　下面的這個(gè)例子中有兩個(gè)目標(biāo)是模式的：

　　%.tab.c %.tab.h： %.y

　　bison -d $《

　　這條規(guī)則告訴make把所有的［.y］文件都以“bison -d 《n》.y”執(zhí)行，然后生成“《n》.tab.c”和“《n》.tab.h”文件。（其中，“《n》”表示一個(gè)任意字符串）。如果我們的執(zhí)行程序“foo”依賴于文件“parse.tab.o”和“scan.o”，并且文件“scan.o”依賴于文件“parse.tab.h”，如果“parse.y”文件被更新了，那么根據(jù)上述的規(guī)則，“bison -d parse.y”就會(huì)被執(zhí)行一次，于是，“parse.tab.o”和“scan.o”的依賴文件就齊了。（假設(shè)，“parse.tab.o”由“parse.tab.c”生成，和“scan.o”由“scan.c”生成，而“foo”由“parse.tab.o”和“scan.o”鏈接生成，而且foo和其［.o］文件的依賴關(guān)系也寫(xiě)好，那么，所有的目標(biāo)都會(huì)得到滿足）

　　3、自動(dòng)化變量

　　在上述的模式規(guī)則中，目標(biāo)和依賴文件都是一系例的文件，那么我們?nèi)绾螘?shū)寫(xiě)一個(gè)命令來(lái)完成從不同的依賴文件生成相應(yīng)的目標(biāo)？因?yàn)樵诿恳淮蔚膶?duì)模式規(guī)則的解析時(shí)，都會(huì)是不同的目標(biāo)和依賴文件。

　　自動(dòng)化變量就是完成這個(gè)功能的。在前面，我們已經(jīng)對(duì)自動(dòng)化變量有所提涉，相信你看到這里已對(duì)它有一個(gè)感性認(rèn)識(shí)了。所謂自動(dòng)化變量，就是這種變量會(huì)把模式中所定義的一系列的文件自動(dòng)地挨個(gè)取出，直至所有的符合模式的文件都取完了。這種自動(dòng)化變量只應(yīng)出現(xiàn)在規(guī)則的命令中。

　　下面是所有的自動(dòng)化變量及其說(shuō)明：

　　$@

　　表示規(guī)則中的目標(biāo)文件集。在模式規(guī)則中，如果有多個(gè)目標(biāo)，那么，“$@”就是匹配于目標(biāo)中模式定義的集合。

　　$%

　　僅當(dāng)目標(biāo)是函數(shù)庫(kù)文件中，表示規(guī)則中的目標(biāo)成員名。例如，如果一個(gè)目標(biāo)是“foo.a（bar.o）”，那么，“$%”就是“bar.o”，“$@”就是“foo.a”。如果目標(biāo)不是函數(shù)庫(kù)文件（Unix下是［.a］，Windows下是［.lib］），那么，其值為空。

　　$《

　　依賴目標(biāo)中的第一個(gè)目標(biāo)名字。如果依賴目標(biāo)是以模式（即“%”）定義的，那么“$《”將是符合模式的一系列的文件集。注意，其是一個(gè)一個(gè)取出來(lái)的。

　　$？

　　所有比目標(biāo)新的依賴目標(biāo)的集合。以空格分隔。

　　$^

　　所有的依賴目標(biāo)的集合。以空格分隔。如果在依賴目標(biāo)中有多個(gè)重復(fù)的，那個(gè)這個(gè)變量會(huì)去除重復(fù)的依賴目標(biāo)，只保留一份。

　　$+

　　這個(gè)變量很像“$^”，也是所有依賴目標(biāo)的集合。只是它不去除重復(fù)的依賴目標(biāo)。

　　$*

　　這個(gè)變量表示目標(biāo)模式中“%”及其之前的部分。如果目標(biāo)是“dir/a.foo.b”，并且目標(biāo)的模式是“a.%.b”，那么，“$*”的值就是“dir/a.foo”。這個(gè)變量對(duì)于構(gòu)造有關(guān)聯(lián)的文件名是比較有較。如果目標(biāo)中沒(méi)有模式的定義，那么“$*”也就不能被推導(dǎo)出，但是，如果目標(biāo)文件的后綴是make所識(shí)別的，那么“$*”就是除了后綴的那一部分。例如：如果目標(biāo)是“foo.c”，因?yàn)椤?c”是make所能識(shí)別的后綴名，所以，“$*”的值就是“foo”。這個(gè)特性是GNU make的，很有可能不兼容于其它版本的make，所以，你應(yīng)該盡量避免使用“$*”，除非是在隱含規(guī)則或是靜態(tài)模式中。如果目標(biāo)中的后綴是make所不能識(shí)別的，那么“$*”就是空值。

　　當(dāng)你希望只對(duì)更新過(guò)的依賴文件進(jìn)行操作時(shí)，“$？”在顯式規(guī)則中很有用，例如，假設(shè)有一個(gè)函數(shù)庫(kù)文件叫“l(fā)ib”，其由其它幾個(gè)object文件更新。那么把object文件打包的比較有效率的Makefile規(guī)則是：

　　lib ： foo.o bar.o lose.o win.o

　　ar r lib $？

　　在上述所列出來(lái)的自動(dòng)量變量中。四個(gè)變量（$@、$《、$%、$*）在擴(kuò)展時(shí)只會(huì)有一個(gè)文件，而另三個(gè)的值是一個(gè)文件列表。這七個(gè)自動(dòng)化變量還可以取得文件的目錄名或是在當(dāng)前目錄下的符合模式的文件名，只需要搭配上“D”或“F”字樣。這是GNU make中老版本的特性，在新版本中，我們使用函數(shù)“dir”或“notdir”就可以做到了。“D”的含義就是Directory，就是目錄，“F”的含義就是File，就是文件。

　　下面是對(duì)于上面的七個(gè)變量分別加上“D”或是“F”的含義：

　　$（@D）

　　表示“$@”的目錄部分（不以斜杠作為結(jié)尾），如果“$@”值是“dir/foo.o”，那么“$（@D）”就是“dir”，而如果“$@”中沒(méi)有包含斜杠的話，其值就是“?！保ó?dāng)前目錄）。

　　$（@F）

　　表示“$@”的文件部分，如果“$@”值是“dir/foo.o”，那么“$（@F）”就是“foo.o”，“$（@F）”相當(dāng)于函數(shù)“$（notdir $@）”。

　　“$（*D）”

　　“$（*F）”

　　和上面所述的同理，也是取文件的目錄部分和文件部分。對(duì)于上面的那個(gè)例子，“$（*D）”返回“dir”，而“$（*F）”返回“foo”

　　“$（%D）”

　　“$（%F）”

　　分別表示了函數(shù)包文件成員的目錄部分和文件部分。這對(duì)于形同“archive（member）”形式的目標(biāo)中的“member”中包含了不同的目錄很有用。

　　“$（《D）”

　　“$（《F）”

　　分別表示依賴文件的目錄部分和文件部分。

　　“$（^D）”

　　“$（^F）”

　　分別表示所有依賴文件的目錄部分和文件部分。（無(wú)相同的）

　　“$（+D）”

　　“$（+F）”

　　分別表示所有依賴文件的目錄部分和文件部分。（可以有相同的）

　　“$（？D）”

　　“$（？F）”

　　分別表示被更新的依賴文件的目錄部分和文件部分。

　　最后想提醒一下的是，對(duì)于“$《”，為了避免產(chǎn)生不必要的麻煩，我們最好給$后面的那個(gè)特定字符都加上圓括號(hào)，比如，“$（《 ）”就要比“$《”要好一些。

　　還得要注意的是，這些變量只使用在規(guī)則的命令中，而且一般都是“顯式規(guī)則”和“靜態(tài)模式規(guī)則”（參見(jiàn)前面“書(shū)寫(xiě)規(guī)則”一章）。其在隱含規(guī)則中并沒(méi)有意義。

　　4、模式的匹配

　　一般來(lái)說(shuō)，一個(gè)目標(biāo)的模式有一個(gè)有前綴或是后綴的“%”，或是沒(méi)有前后綴，直接就是一個(gè)“%”。因?yàn)椤?”代表一個(gè)或多個(gè)字符，所以在定義好了的模式中，我們把“%”所匹配的內(nèi)容叫做“莖”，例如“%.c”所匹配的文件“test.c”中“test”就是“莖”。因?yàn)樵谀繕?biāo)和依賴目標(biāo)中同時(shí)有“%”時(shí)，依賴目標(biāo)的“莖”會(huì)傳給目標(biāo)，當(dāng)做目標(biāo)中的“莖”。

　　當(dāng)一個(gè)模式匹配包含有斜杠（實(shí)際也不經(jīng)常包含）的文件時(shí)，那么在進(jìn)行模式匹配時(shí)，目錄部分會(huì)首先被移開(kāi)，然后進(jìn)行匹配，成功后，再把目錄加回去。在進(jìn)行“莖”的傳遞時(shí)，我們需要知道這個(gè)步驟。例如有一個(gè)模式“e%t”，文件“src/eat”匹配于該模式，于是“src/a”就是其“莖”，如果這個(gè)模式定義在依賴目標(biāo)中，而被依賴于這個(gè)模式的目標(biāo)中又有個(gè)模式“c%r”，那么，目標(biāo)就是“src/car”。（“莖”被傳遞）

　　5、重載內(nèi)建隱含規(guī)則

　　你可以重載內(nèi)建的隱含規(guī)則（或是定義一個(gè)全新的），例如你可以重新構(gòu)造和內(nèi)建隱含規(guī)則不同的命令，如：

　　%.o ： %.c

　　$（CC） -c $（CPPFLAGS） $（CFLAGS） -D$（date）

　　你可以取消內(nèi)建的隱含規(guī)則，只要不在后面寫(xiě)命令就行。如：

　　%.o ： %.s

　　同樣，你也可以重新定義一個(gè)全新的隱含規(guī)則，其在隱含規(guī)則中的位置取決于你在哪里寫(xiě)下這個(gè)規(guī)則。朝前的位置就靠前。

　　六、老式風(fēng)格的“后綴規(guī)則”

　　后綴規(guī)則是一個(gè)比較老式的定義隱含規(guī)則的方法。后綴規(guī)則會(huì)被模式規(guī)則逐步地取代。因?yàn)槟Ｊ揭?guī)則更強(qiáng)更清晰。為了和老版本的Makefile兼容，GNU make同樣兼容于這些東西。后綴規(guī)則有兩種方式：“雙后綴”和“單后綴”。

　　雙后綴規(guī)則定義了一對(duì)后綴：目標(biāo)文件的后綴和依賴目標(biāo)（源文件）的后綴。如“.c.o”相當(dāng)于“%o ： %c”。單后綴規(guī)則只定義一個(gè)后綴，也就是源文件的后綴。如“.c”相當(dāng)于“% ： %.c”。

　　后綴規(guī)則中所定義的后綴應(yīng)該是make所認(rèn)識(shí)的，如果一個(gè)后綴是make所認(rèn)識(shí)的，那么這個(gè)規(guī)則就是單后綴規(guī)則，而如果兩個(gè)連在一起的后綴都被make所認(rèn)識(shí)，那就是雙后綴規(guī)則。例如：“.c”和“.o”都是make所知道。因而，如果你定義了一個(gè)規(guī)則是“.c.o”那么其就是雙后綴規(guī)則，意義就是“.c”是源文件的后綴，“.o”是目標(biāo)文件的后綴。如下示例：

　　.c.o：

　　$（CC） -c $（CFLAGS） $（CPPFLAGS） -o $@ $《

　　后綴規(guī)則不允許任何的依賴文件，如果有依賴文件的話，那就不是后綴規(guī)則，那些后綴統(tǒng)統(tǒng)被認(rèn)為是文件名，如：

　　.c.o： foo.h

　　$（CC） -c $（CFLAGS） $（CPPFLAGS） -o $@ $《

　　這個(gè)例子，就是說(shuō)，文件“.c.o”依賴于文件“foo.h”，而不是我們想要的這樣：

　　%.o： %.c foo.h

　　$（CC） -c $（CFLAGS） $（CPPFLAGS） -o $@ $《

　　后綴規(guī)則中，如果沒(méi)有命令，那是毫無(wú)意義的。因?yàn)樗膊粫?huì)移去內(nèi)建的隱含規(guī)則。

　　而要讓make知道一些特定的后綴，我們可以使用偽目標(biāo)“.SUFFIXES”來(lái)定義或是刪除，如：

　　.SUFFIXES： .hack .win

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

　　.SUFFIXES： # 刪除默認(rèn)的后綴

　　.SUFFIXES： .c .o .h # 定義自己的后綴

　　先清楚默認(rèn)后綴，后定義自己的后綴列表。

　　make的參數(shù)“-r”或“-no-builtin-rules”也會(huì)使用得默認(rèn)的后綴列表為空。而變量“SUFFIXE”被用來(lái)定義默認(rèn)的后綴列表，你可以用“.SUFFIXES”來(lái)改變后綴列表，但請(qǐng)不要改變變量“SUFFIXE”的值。

　　七、隱含規(guī)則搜索算法

　　比如我們有一個(gè)目標(biāo)叫 T。下面是搜索目標(biāo)T的規(guī)則的算法。請(qǐng)注意，在下面，我們沒(méi)有提到后綴規(guī)則，原因是，所有的后綴規(guī)則在Makefile被載入內(nèi)存時(shí)，會(huì)被轉(zhuǎn)換成模式規(guī)則。如果目標(biāo)是“archive（member）”的函數(shù)庫(kù)文件模式，那么這個(gè)算法會(huì)被運(yùn)行兩次，第一次是找目標(biāo)T，如果沒(méi)有找到的話，那么進(jìn)入第二次，第二次會(huì)把“member”當(dāng)作T來(lái)搜索。

　　1、把T的目錄部分分離出來(lái)。叫D，而剩余部分叫N。（如：如果T是“src/foo.o”，那么，D就是“src/”，N就是“foo.o”）

　　2、創(chuàng)建所有匹配于T或是N的模式規(guī)則列表。

　　3、如果在模式規(guī)則列表中有匹配所有文件的模式，如“%”，那么從列表中移除其它的模式。

　　4、移除列表中沒(méi)有命令的規(guī)則。

　　5、對(duì)于第一個(gè)在列表中的模式規(guī)則：

　　1）推導(dǎo)其“莖”S，S應(yīng)該是T或是N匹配于模式中“%”非空的部分。

　　2）計(jì)算依賴文件。把依賴文件中的“%”都替換成“莖”S。如果目標(biāo)模式中沒(méi)有包含斜框字符，而把D加在第一個(gè)依賴文件的開(kāi)頭。

　　3）測(cè)試是否所有的依賴文件都存在或是理當(dāng)存在。（如果有一個(gè)文件被定義成另外一個(gè)規(guī)則的目標(biāo)文件，或者是一個(gè)顯式規(guī)則的依賴文件，那么這個(gè)文件就叫“理當(dāng)存在”）

　　4）如果所有的依賴文件存在或是理當(dāng)存在，或是就沒(méi)有依賴文件。那么這條規(guī)則將被采用，退出該算法。

　　6、如果經(jīng)過(guò)第5步，沒(méi)有模式規(guī)則被找到，那么就做更進(jìn)一步的搜索。對(duì)于存在于列表中的第一個(gè)模式規(guī)則：

　　1）如果規(guī)則是終止規(guī)則，那就忽略它，繼續(xù)下一條模式規(guī)則。

　　2）計(jì)算依賴文件。（同第5步）

　　3）測(cè)試所有的依賴文件是否存在或是理當(dāng)存在。

　　4）對(duì)于不存在的依賴文件，遞歸調(diào)用這個(gè)算法查找他是否可以被隱含規(guī)則找到。

　　5）如果所有的依賴文件存在或是理當(dāng)存在，或是就根本沒(méi)有依賴文件。那么這條規(guī)則被采用，退出該算法。

　　7、如果沒(méi)有隱含規(guī)則可以使用，查看“.DEFAULT”規(guī)則，如果有，采用，把“.DEFAULT”的命令給T使用。

　　一旦規(guī)則被找到，就會(huì)執(zhí)行其相當(dāng)?shù)拿睿藭r(shí)，我們的自動(dòng)化變量的值才會(huì)生成。