Makefile經典教程(掌握這些足夠)

Websites發表於2015-08-04
   makefile很重要

      什麼是makefile?或許很多Winodws的程式設計師都不知道這個東西,因為那些Windows的IDE都為你做了這個工作,但我覺得要作一個好的和professional的程式設計師,makefile還是要懂。這就好像現在有這麼多的HTML的編輯器,但如果你想成為一個專業人士,你還是要了解HTML的標識的含義。特別在Unix下的軟體編譯,你就不能不自己寫makefile了,會不會寫makefile,從一個側面說明了一個人是否具備完成大型工程的能力因為,makefile關係到了整個工程的編譯規則。一個工程中的原始檔不計數,其按型別、功能、模組分別放在若干個目錄中,makefile定義了一系列的規則來指定,哪些檔案需要先編譯,哪些檔案需要後編譯,哪些檔案需要重新編譯,甚至於進行更復雜的功能操作,因為makefile就像一個Shell指令碼一樣,其中也可以執行作業系統的命令。makefile帶來的好處就是——“自動化編譯”,一旦寫好,只需要一個make命令,整個工程完全自動編譯,極大的提高了軟體開發的效率。make是一個命令工具,是一個解釋makefile中指令的命令工具,一般來說,大多數的IDE都有這個命令,比如:Delphi的make,Visual C++的nmake,Linux下GNU的make。可見,makefile都成為了一種在工程方面的編譯方法。

      現在講述如何寫makefile的文章比較少,這是我想寫這篇文章的原因。當然,不同產商的make各不相同,也有不同的語法,但其本質都是在“檔案依賴性”上做文章,這裡,我僅對GNU的make進行講述,我的環境是RedHat Linux 8.0,make的版本是3.80。必竟,這個make是應用最為廣泛的,也是用得最多的。而且其還是最遵循於IEEE 1003.2-1992 標準的(POSIX.2)。

    在這篇文件中,將以C/C++的原始碼作為我們基礎,所以必然涉及一些關於C/C++的編譯的知識,相關於這方面的內容,還請各位檢視相關的編譯器的文件。這裡所預設的編譯器是UNIX下的GCC和CC。

0.1 關於程式的編譯和連結

   在此,我想多說關於程式編譯的一些規範和方法,一般來說,無論是C、C++、還是pas,首先要把原始檔編譯成中間程式碼檔案,在Windows下也就是 .obj 檔案,UNIX下是 .o 檔案,即 Object File,這個動作叫做編譯(compile)。然後再把大量的Object File合成執行檔案,這個動作叫作連結(link)   
     
       編譯時,編譯器需要的是語法的正確,函式與變數的宣告的正確。對於後者,通常是你需要告訴編譯器標頭檔案的所在位置(標頭檔案中應該只是宣告,而定義應該放在C/C++檔案中),只要所有的語法正確,編譯器就可以編譯出中間目標檔案。一般來說,每個原始檔都應該對應於一箇中間目標檔案(O檔案或是OBJ檔案)。
 
       連結時,主要是連結函式和全域性變數,所以,我們可以使用這些中間目標檔案(O檔案或是OBJ檔案)來連結我們的應用程式。連結器並不管函式所在的原始檔,只管函式的中間目標檔案(Object File),在大多數時候,由於原始檔太多,編譯生成的中間目標檔案太多,而在連結時需要明顯地指出中間目標檔名,這對於編譯很不方便,所以,我們要給中間目標檔案打個包,在Windows下這種包叫“庫檔案”(Library File),也就是 .lib 檔案,在UNIX下,是Archive File,也就是 .a 檔案。

      總結一下,原始檔首先會生成中間目標檔案,再由中間目標檔案生成執行檔案。在編譯時,編譯器只檢測程式語法,和函式、變數是否被宣告。如果函式未被宣告,編譯器會給出一個警告,但可以生成Object File。而在連結程式時,連結器會在所有的Object File中找尋函式的實現,如果找不到,那到就會報連結錯誤碼(Linker Error),在VC下,這種錯誤一般是:Link 2001錯誤,意思說是說,連結器未能找到函式的實現。你需要指定函式的ObjectFile.
       
       好,言歸正傳,GNU的make有許多的內容,閒言少敘,還是讓我們開始吧。

1 Makefile 介紹

      make命令執行時,需要一個 Makefile 檔案,以告訴make命令需要怎麼樣的去編譯和連結程式。

      首先,我們用一個示例來說明Makefile的書寫規則。以便給大家一個感興認識。這個示例來源於GNU的make使用手冊,在這個示例中,我們的工程有8個C檔案,和3個標頭檔案,我們要寫一個Makefile來告訴make命令如何編譯和連結這幾個檔案。我們的規則是:

         
            1.如果這個工程沒有編譯過,那麼我們的所有C檔案都要編譯並被連結。

            2.如果這個工程的某幾個C檔案被修改,那麼我們只編譯被修改的C檔案,並連結目標程式。

            3.如果這個工程的標頭檔案被改變了,那麼我們需要編譯引用了這幾個標頭檔案的C檔案,並連結目標程式。

      只要我們的Makefile寫得夠好,所有的這一切,我們只用一個make命令就可以完成,make命令會自動智慧地根據當前的檔案修改的情況來確定哪些檔案需要重編譯,從而自己編譯所需要的檔案和連結目標程式。

1.1 Makefile的規則

   在講述這個Makefile之前,還是讓我們先來粗略地看一看Makefile的規則。

          target... : prerequisites ...

          command

          ...

          ...
         -------------------------------------------------------------------------------

       target也就是一個目標檔案,可以是Object File,也可以是執行檔案。還可以是一個標籤(Label),對於標籤這種特性,在後續的“偽目標”章節中會有敘述。

       prerequisites就是,要生成那個target所需要的檔案或是目標。

       command也就是make需要執行的命令。(任意的Shell命令)

       這是一個檔案的依賴關係,也就是說,target這一個或多個的目標檔案依賴於prerequisites中的檔案,其生成規則定義在command中。說白一點就是說,prerequisites中如果有一個以上的檔案比target檔案要新的話,command所定義的命令就會被執行。這就是Makefile的規則。也就是Makefile中最核心的內容。

       說到底,Makefile的東西就是這樣一點,好像我的這篇文件也該結束了。呵呵。還不盡然,這是Makefile的主線和核心,但要寫好一個Makefile還不夠,我會以後面一點一點地結合我的工作經驗給你慢慢到來。內容還多著呢。:)

1.2 一個示例

正如前面所說的,如果一個工程有3個標頭檔案,和8個C檔案,我們為了完成前面所述的那三個規則,我們的Makefile應該是下面的這個樣子的。

   edit : main.o kbd.o command.o display.o \

          insert.o search.o files.o utils.o

           cc -o edit main.o kbd.o command.o display.o \

                      insert.o search.o files.o utils.o

 

   main.o : main.c defs.h

           cc -c main.c

   kbd.o : kbd.c defs.h command.h

           cc -c kbd.c

   command.o : command.c defs.h command.h

           cc -c command.c

   display.o : display.c defs.h buffer.h

           cc -c display.c

   insert.o : insert.c defs.h buffer.h

           cc -c insert.c

   search.o : search.c defs.h buffer.h

           cc -c search.c

   files.o : files.c defs.h buffer.h command.h

           cc -c files.c

   utils.o : utils.c defs.h

           cc -c utils.c

   clean :

           rm edit main.o kbd.o command.o display.o \

              insert.o search.o files.o utils.o

        反斜槓(\)是換行符的意思。這樣比較便於Makefile的易讀。我們可以把這個內容儲存在檔案為“Makefile”或“makefile”的檔案中,然後在該目錄下直接輸入命令“make”就可以生成執行檔案edit。如果要刪除執行檔案和所有的中間目標檔案,那麼,只要簡單地執行一下“make clean”就可以了。

        在這個makefile中,目標檔案(target)包含:執行檔案edit和中間目標檔案(*.o),依賴檔案(prerequisites)就是冒號後面的那些 .c 檔案和 .h檔案。每一個 .o 檔案都有一組依賴檔案,而這些 .o 檔案又是執行檔案 edit 的依賴檔案。依賴關係的實質上就是說明了目標檔案是由哪些檔案生成的,換言之,目標檔案是哪些檔案更新的。

        在定義好依賴關係後,後續的那一行定義瞭如何生成目標檔案的作業系統命令,一定要以一個Tab鍵作為開頭。記住,make並不管命令是怎麼工作的,他只管執行所定義的命令。make會比較targets檔案和prerequisites檔案的修改日期,如果prerequisites檔案的日期要比targets檔案的日期要新,或者target不存在的話,那麼,make就會執行後續定義的命令。

        這裡要說明一點的是,clean不是一個檔案,它只不過是一個動作名字,有點像C語言中的lable一樣,其冒號後什麼也沒有,那麼,make就不會自動去找檔案的依賴性,也就不會自動執行其後所定義的命令。要執行其後的命令,就要在make命令後明顯得指出這個lable的名字。這樣的方法非常有用,我們可以在一個makefile中定義不用的編譯或是和編譯無關的命令,比如程式的打包,程式的備份,等等。

1.3 make是如何工作的

在預設的方式下,也就是我們只輸入make命令。那麼,

  1.   make會在當前目錄下找名字叫“Makefile”或“makefile”的檔案。
  2.   如果找到,它會找檔案中的第一個目標檔案(target),在上面的例子中,他會找到“edit”這個檔案,並把這個檔案作為最終的目標檔案。
  3.   如果edit檔案不存在,或是edit所依賴的後面的 .o 檔案的檔案修改時間要比edit這個檔案新,那麼,他就會執行後面所定義的命令來生成edit這個檔案。
  4.   如果edit所依賴的.o檔案也存在,那麼make會在當前檔案中找目標為.o檔案的依賴性,如果找到則再根據那一個規則生成.o檔案。(這有點像一個堆疊的過程)
  5.   當然,你的C檔案和H檔案是存在的啦,於是make會生成 .o 檔案,然後再用 .o 檔案宣告make的終極任務,也就是執行檔案edit了。
    這就是整個make的依賴性,make會一層又一層地去找檔案的依賴關係,直到最終編譯出第一個目標檔案。在找尋的過程中,如果出現錯誤,比如最後被依賴的檔案找不到,那麼make就會直接退出,並報錯,而對於所定義的命令的錯誤,或是編譯不成功,make根本不理。make只管檔案的依賴性,即,如果在我找了依賴關係之後,冒號後面的檔案還是不在,那麼對不起,我就不工作啦。

        通過上述分析,我們知道,像clean這種,沒有被第一個目標檔案直接或間接關聯,那麼它後面所定義的命令將不會被自動執行,不過,我們可以顯示要make執行。即命令——“make clean”,以此來清除所有的目標檔案,以便重編譯

      於是在我們程式設計中,如果這個工程已被編譯過了,當我們修改了其中一個原始檔,比如file.c,那麼根據我們的依賴性,我們的目標file.o會被重編譯(也就是在這個依性關係後面所定義的命令),於是file.o的檔案也是最新的啦,於是file.o的檔案修改時間要比edit要新,所以edit也會被重新連結了(詳見edit目標檔案後定義的命令)。

而如果我們改變了“command.h”,那麼,kdb.o、command.o和files.o都會被重編譯,並且,edit會被重連結。

1.4 makefile中使用變數

在上面的例子中,先讓我們看看edit的規則:

     edit : main.o kbd.o command.o display.o \

                 insert.o search.o files.o utils.o

           cc -o edit main.o kbd.o command.o display.o \

                      insert.o search.o files.o utils.o

    我們可以看到[.o]檔案的字串被重複了兩次,如果我們的工程需要加入一個新的[.o]檔案,那麼我們需要在兩個地方加(應該是三個地方,還有一個地方在clean中)。當然,我們的makefile並不複雜,所以在兩個地方加也不累,但如果makefile變得複雜,那麼我們就有可能會忘掉一個需要加入的地方,而導致編譯失敗。所以,為了makefile的易維護,在makefile中我們可以使用變數。makefile的變數也就是一個字串,理解成C語言中的巨集可能會更好。

比如,我們宣告一個變數,叫objects, OBJECTS, objs, OBJS, obj, 或是 OBJ,反正不管什麼啦,只要能夠表示obj檔案就行了。我們在makefile一開始就這樣定義:

    objects = main.o kbd.o command.o display.o \

             insert.o search.o files.o utils.o

於是,我們就可以很方便地在我們的makefile中以“$(objects)”的方式來使用這個變數了,於是我們的改良版makefile就變成下面這個樣子:

   objects = main.o kbd.o command.o display.o \
             insert.osearch.o files.o utils.o 
   edit : $(objects)
           cc -o edit $(objects)
   main.o : main.c defs.h
           cc -c main.c
   kbd.o : kbd.c defs.h command.h
           cc -c kbd.c
   command.o : command.c defs.h command.h
           cc -c command.c
   display.o : display.c defs.h buffer.h
           cc -c display.c
   insert.o : insert.c defs.h buffer.h
           cc -c insert.c
   search.o : search.c defs.h buffer.h
           cc -c search.c
   files.o : files.c defs.h buffer.h command.h
           cc -c files.c
   utils.o : utils.c defs.h
           cc -c utils.c
   clean :
           rm edit $(objects)

於是如果有新的 .o 檔案加入,我們只需簡單地修改一下 objects 變數就可以了。

關於變數更多的話題,我會在後續給你一一道來。

1.5 讓make自動推導

GNU的make很強大,它可以自動推導檔案以及檔案依賴關係後面的命令,於是我們就沒必要去在每一個[.o]檔案後都寫上類似的命令,因為,我們的make會自動識別,並自己推導命令。

    只要make看到一個[.o]檔案,它就會自動的把[.c]檔案加在依賴關係中,如果make找到一個whatever.o,那麼whatever.c,就會是whatever.o的依賴檔案。並且 cc -c whatever.c 也會被推匯出來,於是,我們的makefile再也不用寫得這麼複雜。我們的是新的makefile又出爐了。

   objects = main.o kbd.o command.o display.o \
             insert.o search.o files.o utils.o
 
   edit : $(objects)
           cc -o edit $(objects)
 
   main.o : defs.h
   kbd.o : defs.h command.h
   command.o : defs.h command.h
   display.o : defs.h buffer.h
   insert.o : defs.h buffer.h
   search.o : defs.h buffer.h
   files.o : defs.h buffer.h command.h
   utils.o : defs.h
 
   .PHONY : clean
   clean :
           rm edit $(objects)

這種方法,也就是make的“隱晦規則”。上面檔案內容中,“.PHONY”表示,clean是個偽目標檔案。

關於更為詳細的“隱晦規則”和“偽目標檔案”,我會在後續給你一一道來。

1.6 另類風格的makefile

    即然我們的make可以自動推導命令,那麼我看到那堆[.o]和[.h]的依賴就有點不爽,那麼多的重複的[.h],能不能把其收攏起來,好吧,沒有問題,這個對於make來說很容易,誰叫它提供了自動推導命令和檔案的功能呢?來看看最新風格的makefile吧。

   objects = main.o kbd.o command.o display.o \
             insert.o search.o files.o utils.o
 
   edit : $(objects)
           cc -o edit $(objects)
 
   $(objects) : defs.h
   kbd.o command.o files.o : command.h
   display.o insert.o search.o files.o : buffer.h
 
   .PHONY : clean
   clean :
           rm edit $(objects)

這種風格,讓我們的makefile變得很簡單,但我們的檔案依賴關係就顯得有點凌亂了。魚和熊掌不可兼得。還看你的喜好了。我是不喜歡這種風格的,一是檔案的依賴關係看不清楚,二是如果檔案一多,要加入幾個新的.o檔案,那就理不清楚了。

1.7 清空目標檔案的規則

      每個Makefile中都應該寫一個清空目標檔案(.o和執行檔案)的規則,這不僅便於重編譯,也很利於保持檔案的清潔。這是一個“修養”(呵呵,還記得我的《程式設計修養》嗎)。一般的風格都是:

       clean:

           rm edit $(objects)

更為穩健的做法是:

       .PHONY : clean

       clean :

               -rm edit $(objects)

前面說過,.PHONY意思表示clean是一個“偽目標”,。而在rm命令前面加了一個小減號的意思就是,也許某些檔案出現問題,但不要管,繼續做後面的事。當然,clean的規則不要放在檔案的開頭,不然,這就會變成make的預設目標,相信誰也不願意這樣。不成文的規矩是——“clean從來都是放在檔案的最後”。

上面就是一個makefile的概貌,也是makefile的基礎,下面還有很多makefile的相關細節,準備好了嗎?準備好了就來。

 


2 Makefile 總述

2.1 Makefile裡有什麼?

Makefile裡主要包含了個東西:顯式規則、隱晦規則、變數定義、檔案指示和註釋。

  1. 顯式規則。顯式規則說明了,如何生成一個或多的的目標檔案。這是由Makefile的書寫者明顯指出,要生成的檔案,檔案的依賴檔案,生成的命令。
  2. 隱晦規則。由於我們的make有自動推導的功能,所以隱晦的規則可以讓我們比較粗糙地簡略地書寫Makefile,這是由make所支援的。
  3. 變數的定義。在Makefile中我們要定義一系列的變數,變數一般都是字串,這個有點你C語言中的巨集,當Makefile被執行時,其中的變數都會被擴充套件到相應的引用位置上。
  4. 檔案指示。其包括了三個部分,一個是在一個Makefile中引用另一個Makefile,就像C語言中的include一樣;另一個是指根據某些情況指定Makefile中的有效部分,就像C語言中的預編譯#if一樣;還有就是定義一個多行的命令。有關這一部分的內容,我會在後續的部分中講述。
  5.  註釋。Makefile中只有行註釋,和UNIX的Shell指令碼一樣,其註釋是用“#”字元,這個就像C/C++中的“//”一樣。如果你要在你的Makefile中使用“#”字元,可以用反斜框進行轉義,如:“\#”。

最後,還值得一提的是,在Makefile中的命令,必須要以[Tab]鍵開始。

2.2Makefile的檔名

        預設的情況下,make命令會在當前目錄下按順序找尋檔名為“GNUmakefile”、“makefile”、“Makefile”的檔案,找到了解釋這個檔案。在這三個檔名中,最好使用“Makefile”這個檔名,因為,這個檔名第一個字元為大寫,這樣有一種顯目的感覺。最好不要用“GNUmakefile”,這個檔案是GNU的make識別的。有另外一些make只對全小寫的“makefile”檔名敏感,但是基本上來說,大多數的make都支援“makefile”和“Makefile”這兩種預設檔名。

     當然,你可以使用別的檔名來書寫Makefile,比如:“Make.Linux”,“Make.Solaris”,“Make.AIX”等,如果要指定特定的Makefile,你可以使用make的“-f”和“--file”引數,如:make -f Make.Linux或make --file Make.AIX。

2.3 引用其它的Makefile

    在Makefile使用include關鍵字可以把別的Makefile包含進來,這很像C語言的#include,被包含的檔案會原模原樣的放在當前檔案的包含位置。include的語法是:

    include<filename>filename可以是當前作業系統Shell的檔案模式(可以保含路徑和萬用字元)

在include前面可以有一些空字元,但是絕不能是[Tab]鍵開始。include和可以用一個或多個空格隔開。舉個例子,你有這樣幾個Makefile:a.mk、b.mk、c.mk,還有一個檔案叫foo.make,以及一個變數$(bar),其包含了e.mk和f.mk,那麼,下面的語句:

   include foo.make *.mk $(bar)

等價於:

   include foo.make a.mk b.mk c.mk e.mk f.mk

make命令開始時,會把找尋include所指出的其它Makefile,並把其內容安置在當前的位置。就好像C/C++的#include指令一樣。如果檔案都沒有指定絕對路徑或是相對路徑的話,make會在當前目錄下首先尋找,如果當前目錄下沒有找到,那麼,make還會在下面的幾個目錄下找:

1.如果make執行時,有“-I”或“--include-dir”引數,那麼make就會在這個引數所指定的目錄下去尋找。
2.如果目錄/include(一般是:/usr/local/bin或/usr/include)存在的話,make也會去找。


      如果有檔案沒有找到的話,make會生成一條警告資訊,但不會馬上出現致命錯誤。它會繼續載入其它的檔案,一旦完成makefile的讀取,make會再重試這些沒有找到,或是不能讀取的檔案,如果還是不行,make才會出現一條致命資訊。如果你想讓make不理那些無法讀取的檔案,而繼續執行,你可以在include前加一個減號“-”。如:

-include<filename>

其表示,無論include過程中出現什麼錯誤,都不要報錯繼續執行。和其它版本make相容的相關命令是sinclude,其作用和這一個是一樣的。

2.4 環境變數 MAKEFILES

如果你的當前環境中定義了環境變數MAKEFILES,那麼,make會把這個變數中的值做一個類似於include的動作。這個變數中的值是其它的Makefile,用空格分隔。只是,它和include不同的是,從這個環境變中引入的Makefile的“目標”不會起作用,如果環境變數中定義的檔案發現錯誤,make也會不理。

但是在這裡我還是建議不要使用這個環境變數,因為只要這個變數一被定義,那麼當你使用make時,所有的Makefile都會受到它的影響,這絕不是你想看到的。在這裡提這個事,只是為了告訴大家,也許有時候你的Makefile出現了怪事,那麼你可以看看當前環境中有沒有定義這個變數。

2.5 make的工作方式

GNU的make工作時的執行步驟入下:(想來其它的make也是類似)

1.        讀入所有的Makefile。

2.        讀入被include的其它Makefile。

3.        初始化檔案中的變數。

4.        推導隱晦規則,並分析所有規則。

5.        為所有的目標檔案建立依賴關係鏈。

6.        根據依賴關係,決定哪些目標要重新生成。

7.        執行生成命令。

1-5步為第一個階段,6-7為第二個階段。第一個階段中,如果定義的變數被使用了,那麼,make會把其展開在使用的位置。但make並不會完全馬上展開,make使用的是拖延戰術,如果變數出現在依賴關係的規則中,那麼僅當這條依賴被決定要使用了,變數才會在其內部展開。

當然,這個工作方式你不一定要清楚,但是知道這個方式你也會對make更為熟悉。有了這個基礎,後續部分也就容易看懂了。

3 Makefile書寫規則

 規則包含兩個部分,一個是依賴關係,一個是生成目標的方法

在Makefile中,規則的順序是很重要的,因為,Makefile中只應該有一個最終目標,其它的目標都是被這個目標所連帶出來的,所以一定要讓make知道你的最終目標是什麼。一般來說,定義在Makefile中的目標可能會有很多,但是第一條規則中的目標將被確立為最終的目標。如果第一條規則中的目標有很多個,那麼,第一個目標會成為最終的目標。make所完成的也就是這個目標。

好了,還是讓我們來看一看如何書寫規則。

3.1 規則舉例

 foo.o: foo.c defs.h       # foo模組

           cc -c -g foo.c

看到這個例子,各位應該不是很陌生了,前面也已說過,foo.o是我們的目標,foo.c和defs.h是目標所依賴的原始檔,而只有一個命令“cc -c -g foo.c”(以Tab鍵開頭)。這個規則告訴我們兩件事:

1.        檔案的依賴關係,foo.o依賴於foo.c和defs.h的檔案,如果foo.c和defs.h的檔案日期要比foo.o檔案日期要新,或是foo.o不存在,那麼依賴關係發生。

2.        如果生成(或更新)foo.o檔案。也就是那個cc命令,其說明了,如何生成foo.o這個檔案。(當然foo.c檔案include了defs.h檔案

3.2 規則的語法

     targets : prerequisites

       command

       ...

或是這樣:

     targets : prerequisites ; command

           command

           ...

targets是檔名,以空格分開,可以使用萬用字元。一般來說,我們的目標基本上是一個檔案,但也有可能是多個檔案。

command是命令列,如果其不與“target:prerequisites”在一行,那麼,必須以[Tab鍵]開頭,如果和prerequisites在一行,那麼可以用分號做為分隔。(見上)

prerequisites也就是目標所依賴的檔案(或依賴目標)。如果其中的某個檔案要比目標檔案要新,那麼,目標就被認為是“過時的”,被認為是需要重生成的。這個在前面已經講過了。

如果命令太長,你可以使用反斜框(‘\’)作為換行符。make對一行上有多少個字元沒有限制。規則告訴make兩件事,檔案的依賴關係和如何成成目標檔案。

一般來說,make會以UNIX的標準Shell,也就是/bin/sh來執行命令。

3.3 在規則中使用萬用字元

     如果我們想定義一系列比較類似的檔案,我們很自然地就想起使用萬用字元。make支援三各萬用字元:“*”,“?”和“[...]”。這是和Unix的B-Shell是相同的。

"~"

波浪號(“~”)字元在檔名中也有比較特殊的用途。如果是“~/test”,這就表示當前使用者的$HOME目錄下的test目錄。而“~hchen/test”則表示使用者hchen的宿主目錄下的test目錄。(這些都是Unix下的小知識了,make也支援)而在Windows或是MS-DOS下,使用者沒有宿主目錄,那麼波浪號所指的目錄則根據環境變數“HOME”而定。

"*"
萬用字元代替了你一系列的檔案,如“*.c”表示所以字尾為c的檔案。一個需要我們注意的是,如果我們的檔名中有萬用字元,如:“*”,那麼可以用轉義字元“\”,如“\*”來表示真實的“*”字元,而不是任意長度的字串。

好吧,還是先來看幾個例子吧:

   clean:

        rm -f *.o

上面這個例子我不不多說了,這是作業系統Shell所支援的萬用字元。這是在命令中的萬用字元。

   print: *.c

        lpr -p $?

        touch print

上面這個例子說明了萬用字元也可以在我們的規則中,目標print依賴於所有的[.c]檔案。其中的“$?”是一個自動化變數,我會在後面給你講述。

   objects = *.o

上面這個例子,表示了,通符同樣可以用在變數中。並不是說[*.o]會展開,不!objects的值就是“*.o”。Makefile中的變數其實就是C/C++中的巨集。如果你要讓萬用字元在變數中展開,也就是讓objects的值是所有[.o]的檔名的集合,那麼,你可以這樣:

   objects := $(wildcard *.o)

這種用法由關鍵字“wildcard”指出,關於Makefile的關鍵字,我們將在後面討論。

3.4 檔案搜尋

     在一些大的工程中,有大量的原始檔,我們通常的做法是把這許多的原始檔分類,並存放在不同的目錄中。所以,當make需要去找尋檔案的依賴關係時,你可以在檔案前加上路徑,但最好的方法是把一個路徑告訴make,讓make在自動去找。

Makefile檔案中的特殊變數“VPATH”就是完成這個功能的,如果沒有指明這個變數,make只會在當前的目錄中去找尋依賴檔案和目標檔案。如果定義了這個變數,那麼,make就會在噹噹前目錄找不到的情況下,到所指定的目錄中去找尋檔案了。

   VPATH = src:../headers

上面的的定義指定兩個目錄,“src”和“../headers”,make會按照這個順序進行搜尋。目錄由“冒號”分隔。(當然,當前目錄永遠是最高優先搜尋的地方)

另一個設定檔案搜尋路徑的方法是使用make的“vpath”關鍵字(注意,它是全小寫的),這不是變數,這是一個make的關鍵字,這和上面提到的那個VPATH變數很類似,但是它更為靈活。它可以指定不同的檔案在不同的搜尋目錄中。這是一個很靈活的功能。它的使用方法有三種:

1.        vpath < pattern> < directories>    為符合模式< pattern>的檔案指定搜尋目錄<directories>。

2.        vpath < pattern>                              清除符合模式< pattern>的檔案的搜尋目錄。

3.        vpath                                                 清除所有已被設定好了的檔案搜尋目錄。

vapth使用方法中的< pattern>需要包含“%”字元。“%”的意思是匹配零或若干字元,例如,“%.h”表示所有以“.h”結尾的檔案。< pattern>指定了要搜尋的檔案集,而< directories>則指定了的檔案集的搜尋的目錄。例如:

   vpath %.h ../headers

該語句表示,要求make在“../headers”目錄下搜尋所有以“.h”結尾的檔案。(如果某檔案在當前目錄沒有找到的話)

我們可以連續地使用vpath語句,以指定不同搜尋策略。如果連續的vpath語句中出現了相同的< pattern>,或是被重複了的< pattern>,那麼,make會按照vpath語句的先後順序來執行搜尋。如:

   vpath %.c foo

   vpath %   blish

   vpath %.c bar

其表示“.c”結尾的檔案,先在“foo”目錄,然後是“blish”,最後是“bar”目錄。

   vpath %.c foo:bar

   vpath %   blish

而上面的語句則表示“.c”結尾的檔案,先在“foo”目錄,然後是“bar”目錄,最後才是“blish”目錄。

3.5 偽目標

最早先的一個例子中,我們提到過一個“clean”的目標,這是一個“偽目標”,

   clean:

           rm *.o temp

正像我們前面例子中的“clean”一樣,即然我們生成了許多檔案編譯檔案,我們也應該提供一個清除它們的“目標”以備完整地重編譯而用。 (以“make clean”來使用該目標)

因為,我們並不生成“clean”這個檔案。“偽目標”並不是一個檔案,只是一個標籤,由於“偽目標”不是檔案,所以make無法生成它的依賴關係和決定它是否要執行。我們只有通過顯示地指明這個“目標”才能讓其生效。當然,“偽目標”的取名不能和檔名重名,不然其就失去了“偽目標”的意義了。

當然,為了避免和檔案重名的這種情況,我們可以使用一個特殊的標記“.PHONY”來顯示地指明一個目標是“偽目標”,向make說明,不管是否有這個檔案,這個目標就是“偽目標”。

   .PHONY : clean

只要有這個宣告,不管是否有“clean”檔案,要執行“clean”這個目標,只有“make clean”這樣。於是整個過程可以這樣寫:

    .PHONY: clean

   clean:

           rm *.o temp

偽目標一般沒有依賴的檔案。但是,我們也可以為偽目標指定所依賴的檔案。偽目標同樣可以作為“預設目標”,只要將其放在第一個。一個示例就是,如果你的Makefile需要一口氣生成若干個可執行檔案,但你只想簡單地敲一個make完事,並且,所有的目標檔案都寫在一個Makefile中,那麼你可以使用“偽目標”這個特性:

   all : prog1 prog2 prog3

   .PHONY : all

 

   prog1 : prog1.o utils.o

           cc -o prog1 prog1.o utils.o

 

   prog2 : prog2.o

           cc -o prog2 prog2.o

 

   prog3 : prog3.o sort.o utils.o

           cc -o prog3 prog3.o sort.o utils.o

我們知道,Makefile中的第一個目標會被作為其預設目標。我們宣告瞭一個“all”的偽目標,其依賴於其它三個目標。由於偽目標的特性是,總是被執行的,所以其依賴的那三個目標就總是不如“all”這個目標新。所以,其它三個目標的規則總是會被決議。也就達到了我們一口氣生成多個目標的目的。“.PHONY : all”宣告瞭“all”這個目標為“偽目標”。

隨便提一句,從上面的例子我們可以看出,目標也可以成為依賴。所以,偽目標同樣也可成為依賴。看下面的例子:

   .PHONY: cleanall cleanobj cleandiff

 

   cleanall : cleanobj cleandiff

           rm program

 

   cleanobj :

           rm *.o

 

   cleandiff :

           rm *.diff

“makeclean”將清除所有要被清除的檔案。“cleanobj”和“cleandiff”這兩個偽目標有點像“子程式”的意思。我們可以輸入“makecleanall”和“make cleanobj”和“makecleandiff”命令來達到清除不同種類檔案的目的

3.6 多目標

Makefile的規則中的目標可以不止一個,其支援多目標,有可能我們的多個目標同時依賴於一個檔案,並且其生成的命令大體類似。於是我們就能把其合併起來。當然,多個目標的生成規則的執行命令是同一個,這可能會可我們帶來麻煩,不過好在我們的可以使用一個自動化變數“$@”(關於自動化變數,將在後面講述),這個變數表示著目前規則中所有的目標的集合,這樣說可能很抽象,還是看一個例子吧。

   bigoutput littleoutput : text.g

           generate text.g -$(subst output,,$@) > $@

   上述規則等價於:

 

   bigoutput : text.g

           generate text.g -big > bigoutput

   littleoutput : text.g

           generate text.g -little > littleoutput

其中,-$(subst output,,$@)中的“$”表示執行一個Makefile的函式,函式名為subst,後面的為引數。關於函式,將在後面講述。這裡的這個函式是擷取字串的意思,“$@”表示目標的集合,就像一個陣列,“$@”依次取出目標,並執於命令。

3.7 靜態模式

靜態模式可以更加容易地定義多目標的規則,可以讓我們的規則變得更加的有彈性和靈活。我們還是先來看一下語法:

<targets...>: <target-pattern>: <prereq-patterns ...>

   <commands>

...

targets定義了一系列的目標檔案,可以有萬用字元。是目標的一個集合。

target-parrtern是指明瞭targets的模式,也就是的目標集模式。

prereq-parrterns是目標的依賴模式,它對target-parrtern形成的模式再進行一次依賴目標的定義。

這樣描述這三個東西,可能還是沒有說清楚,還是舉個例子來說明一下吧。如果我們的<target-parrtern>定義成“%.o”,意思是我們的集合中都是以“.o”結尾的,而如果我們的<prereq-parrterns>定義成“%.c”,意思是對<target-parrtern>所形成的目標集進行二次定義,其計算方法是,取<target-parrtern>模式中的“%”(也就是去掉了[.o]這個結尾),併為其加上[.c]這個結尾,形成的新集合。

所以,我們的“目標模式”或是“依賴模式”中都應該有“%”這個字元,如果你的檔名中有“%”那麼你可以使用反斜槓“\”進行轉義,來標明真實的“%”字元。

看一個例子:

   objects = foo.o bar.o

 

   all: $(objects)

 

   $(objects): %.o: %.c

           $(CC) -c $(CFLAGS) $< -o $@

 

上面的例子中,指明瞭我們的目標從$object中獲取,“%.o”表明要所有以“.o”結尾的目標,也就是“foo.o bar.o”,也就是變數$object集合的模式,而依賴模式“%.c”則取模式“%.o”的“%”,也就是“foobar”,併為其加下“.c”的字尾,於是,我們的依賴目標就是“foo.cbar.c”。而命令中的“$<”和“$@”則是自動化變數,“$<”表示所有的依賴目標集(也就是“foo.c bar.c”),“$@”表示目標集(也褪恰癴oo.o bar.o”)。於是,上面的規則展開後等價於下面的規則:

   foo.o : foo.c

           $(CC) -c $(CFLAGS) foo.c -o foo.o

   bar.o : bar.c

           $(CC) -c $(CFLAGS) bar.c -o bar.o

試想,如果我們的“%.o”有幾百個,那種我們只要用這種很簡單的“靜態模式規則”就可以寫完一堆規則,實在是太有效率了。“靜態模式規則”的用法很靈活,如果用得好,那會一個很強大的功能。再看一個例子:

 

   files = foo.elc bar.o lose.o

 

   $(filter %.o,$(files)): %.o: %.c

           $(CC) -c $(CFLAGS) $< -o $@

   $(filter %.elc,$(files)): %.elc: %.el

           emacs -f batch-byte-compile $<

$(filter%.o,$(files))表示呼叫Makefile的filter函式,過濾“$filter”集,只要其中模式為“%.o”的內容。其的它內容,我就不用多說了吧。這個例字展示了Makefile中更大的彈性。

3.8 自動生成依賴性

在Makefile中,我們的依賴關係可能會需要包含一系列的標頭檔案,比如,如果我們的main.c中有一句“#include "defs.h"”,那麼我們的依賴關係應該是:

   main.o : main.c defs.h

但是,如果是一個比較大型的工程,你必需清楚哪些C檔案包含了哪些標頭檔案,並且,你在加入或刪除標頭檔案時,也需要小心地修改Makefile,這是一個很沒有維護性的工作。為了避免這種繁重而又容易出錯的事情,我們可以使用C/C++編譯的一個功能。大多數的C/C++編譯器都支援一個“-M”的選項,即自動找尋原始檔中包含的標頭檔案,並生成一個依賴關係。例如,如果我們執行下面的命令:

   cc -M main.c

其輸出是:

   main.o : main.c defs.h

於是由編譯器自動生成的依賴關係,這樣一來,你就不必再手動書寫若干檔案的依賴關係,而由編譯器自動生成了。需要提醒一句的是,如果你使用GNU的C/C++編譯器,你得用“-MM”引數,不然,“-M”引數會把一些標準庫的標頭檔案也包含進來。

gcc-M main.c的輸出是:

   main.o: main.c defs.h /usr/include/stdio.h /usr/include/features.h \

        /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h \

        /usr/lib/gcc-lib/i486-suse-linux/2.95.3/include/stddef.h \

        /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h \

        /usr/include/bits/sched.h /usr/include/libio.h \

        /usr/include/_G_config.h /usr/include/wchar.h \

        /usr/include/bits/wchar.h /usr/include/gconv.h \

        /usr/lib/gcc-lib/i486-suse-linux/2.95.3/include/stdarg.h \

        /usr/include/bits/stdio_lim.h

 

gcc-MM main.c的輸出則是:

   main.o: main.c defs.h

那麼,編譯器的這個功能如何與我們的Makefile聯絡在一起呢。因為這樣一來,我們的Makefile也要根據這些原始檔重新生成,讓Makefile自已依賴於原始檔?這個功能並不現實,不過我們可以有其它手段來迂迴地實現這一功能。GNU組織建議把編譯器為每一個原始檔的自動生成的依賴關係放到一個檔案中,為每一個“name.c”的檔案都生成一個“name.d”的Makefile檔案,[.d]檔案中就存放對應[.c]檔案的依賴關係。

於是,我們可以寫出[.c]檔案和[.d]檔案的依賴關係,並讓make自動更新或自成[.d]檔案,並把其包含在我們的主Makefile中,這樣,我們就可以自動化地生成每個檔案的依賴關係了。

這裡,我們給出了一個模式規則來產生[.d]檔案:

   %.d: %.c

           @set -e; rm -f $@; \

            $(CC) -M $(CPPFLAGS) $< > $@.

; \

            sed 's,$\.o[ :]*,\1.o $@ : ,g' < $@.

> $@; \

            rm -f $@.

這個規則的意思是,所有的[.d]檔案依賴於[.c]檔案,“rm-f $@”的意思是刪除所有的目標,也就是[.d]檔案,第二行的意思是,為每個依賴檔案“$<”,也就是[.c]檔案生成依賴檔案,“$@”表示模式“%.d”檔案,如果有一個C檔案是name.c,那麼“%”就是“name”,“

”意為一個隨機編號,第二行生成的檔案有可能是“name.d.12345”,第三行使用sed命令做了一個替換,關於sed命令的用法請參看相關的使用文件。第四行就是刪除臨時檔案。

總而言之,這個模式要做的事就是在編譯器生成的依賴關係中加入[.d]檔案的依賴,即把依賴關係:

   main.o : main.c defs.h

轉成:

   main.o main.d : main.c defs.h

於是,我們的[.d]檔案也會自動更新了,並會自動生成了,當然,你還可以在這個[.d]檔案中加入的不只是依賴關係,包括生成的命令也可一併加入,讓每個[.d]檔案都包含一個完賴的規則。一旦我們完成這個工作,接下來,我們就要把這些自動生成的規則放進我們的主Makefile中。我們可以使用Makefile的“include”命令,來引入別的Makefile檔案(前面講過),例如:

   sources = foo.c bar.c

 

   include $(sources:.c=.d)

上述語句中的“$(sources:.c=.d)”中的“.c=.d”的意思是做一個替換,把變數$(sources)所有[.c]的字串都替換成[.d],關於這個“替換”的內容,在後面我會有更為詳細的講述。當然,你得注意次序,因為include是按次來載入檔案,最先載入的[.d]檔案中的目標會成為預設目標

4 Makefile 書寫命令

      每條規則中的命令和作業系統Shell的命令列是一致的。make會一按順序一條一條的執行命令,每條命令的開頭必須以[Tab]鍵開頭,除非,命令是緊跟在依賴規則後面的分號後的。在命令列之間中的空格或是空行會被忽略,但是如果該空格或空行是以Tab鍵開頭的,那麼make會認為其是一個空命令。

我們在UNIX下可能會使用不同的Shell,但是make的命令預設是被“/bin/sh”——UNIX的標準Shell解釋執行的。除非你特別指定一個其它的Shell。Makefile中,“#”是註釋符,很像C/C++中的“//”,其後的本行字元都被註釋。

4.1 顯示命令

通常,make會把其要執行的命令列在命令執行前輸出到螢幕上。當我們用“@”字元在命令列前,那麼,這個命令將不被make顯示出來,最具代表性的例子是,我們用這個功能來像螢幕顯示一些資訊。如:

   @echo 正在編譯XXX模組......

當make執行時,會輸出“正在編譯XXX模組......”字串,但不會輸出命令,如果沒有“@”,那麼,make將輸出:

   echo 正在編譯XXX模組......

   正在編譯XXX模組......

如果make執行時,帶入make引數“-n”或“--just-print”,那麼其只是顯示命令,但不會執行命令,這個功能很有利於我們除錯我們的Makefile,看看我們書寫的命令是執行起來是什麼樣子的或是什麼順序的。

而make引數“-s”或“--slient”則是全面禁止命令的顯示。

4.2 命令執行

當依賴目標新於目標時,也就是當規則的目標需要被更新時,make會一條一條的執行其後的命令。需要注意的是,如果你要讓上一條命令的結果應用在下一條命令時,你應該使用分號分隔這兩條命令。比如你的第一條命令是cd命令,你希望第二條命令得在cd之後的基礎上執行,那麼你就不能把這兩條命令寫在兩行上,而應該把這兩條命令寫在一行上,用分號分隔。如:

   示例一:

       exec:

               cd /home/hchen

               pwd

 

   示例二:

       exec:

               cd /home/hchen; pwd

當我們執行“make exec”時,第一個例子中的cd沒有作用,pwd會列印出當前的Makefile目錄,而第二個例子中,cd就起作用了,pwd會列印出“/home/hchen”。

make一般是使用環境變數SHELL中所定義的系統Shell來執行命令,預設情況下使用UNIX的標準Shell——/bin/sh來執行命令。但在MS-DOS下有點特殊,因為MS-DOS下沒有SHELL環境變數,當然你也可以指定。如果你指定了UNIX風格的目錄形式,首先,make會在SHELL所指定的路徑中找尋命令直譯器,如果找不到,其會在當前碟符中的當前目錄中尋找,如果再找不到,其會在PATH環境變數中所定義的所有路徑中尋找。MS-DOS中,如果你定義的命令直譯器沒有找到,其會給你的命令直譯器加上諸如“.exe”、“.com”、“.bat”、“.sh”等字尾。

4.3 命令出錯

      每當命令執行完後,make會檢測每個命令的返回碼,如果命令返回成功,那麼make會執行下一條命令,當規則中所有的命令成功返回後,這個規則就算是成功完成了。如果一個規則中的某個命令出錯了(命令退出碼非零),那麼make就會終止執行當前規則,這將有可能終止所有規則的執行。

有些時候,命令的出錯並不表示就是錯誤的。例如mkdir命令,我們一定需要建立一個目錄,如果目錄不存在,那麼mkdir就成功執行,萬事大吉,如果目錄存在,那麼就出錯了。我們之所以使用mkdir的意思就是一定要有這樣的一個目錄,於是我們就不希望mkdir出錯而終止規則的執行。

為了做到這一點,忽略命令的出錯,我們可以在Makefile的命令列前加一個減號“-”(在Tab鍵之後),標記為不管命令出不出錯都認為是成功的。如:

  clean:

           -rm -f *.o

還有一個全域性的辦法是,給make加上“-i”或是“--ignore-errors”引數,那麼,Makefile中所有命令都會忽略錯誤。而如果一個規則是以“.IGNORE”作為目標的,那麼這個規則中的所有命令將會忽略錯誤。這些是不同級別的防止命令出錯的方法,你可以根據你的不同喜歡設定。

還有一個要提一下的make的引數的是“-k”或是“--keep-going”,這個引數的意思是,如果某規則中的命令出錯了,那麼就終目該規則的執行,但繼續執行其它規則。

4.4 巢狀執行make

       在一些大的工程中,我們會把我們不同模組或是不同功能的原始檔放在不同的目錄中,我們可以在每個目錄中都書寫一個該目錄的Makefile,這有利於讓我們的Makefile變得更加地簡潔,而不至於把所有的東西全部寫在一個Makefile中,這樣會很難維護我們的Makefile,這個技術對於我們模組編譯和分段編譯有著非常大的好處。
      例如,我們有一個子目錄叫subdir,這個目錄下有個Makefile檔案,來指明瞭這個目錄下檔案的編譯規則。那麼我們總控的Makefile可以這樣書寫:

   subsystem:

           cd subdir && $(MAKE)

其等價於:

    subsystem:

           $(MAKE) -C subdir

定義$(MAKE)巨集變數的意思是,也許我們的make需要一些引數,所以定義成一個變數比較利於維護。這兩個例子的意思都是先進入“subdir”目錄,然後執行make命令。

我們把這個Makefile叫做“總控Makefile”,總控Makefile的變數可以傳遞到下級的Makefile中(如果你顯示的宣告),但是不會覆蓋下層的Makefile中所定義的變數,除非指定了“-e”引數。

如果你要傳遞變數到下級Makefile中,那麼你可以使用這樣的宣告:

export<variable ...>

如果你不想讓某些變數傳遞到下級Makefile中,那麼你可以這樣宣告:

unexport<variable ...>

如:

      示例一:

        export variable = value

      
  其等價於:

        variable = value

        export variable

 

       其等價於:

        export variable := value

        其等價於:

 

       variable := value

       export variable

 

   示例二:

 

       export variable += value

 

       其等價於:

 

       variable += value

       export variable

     如果你要傳遞所有的變數,那麼,只要一個export就行了。後面什麼也不用跟,表示傳遞所有的變數。

需要注意的是,有兩個變數,一個是SHELL,一個是MAKEFLAGS,這兩個變數不管你是否export,其總是要傳遞到下層Makefile中,特別是MAKEFILES變數,其中包含了make的引數資訊,如果我們執行“總控Makefile”時有make引數或是在上層Makefile中定義了這個變數,那麼MAKEFILES變數將會是這些引數,並會傳遞到下層Makefile中,這是一個系統級的環境變數。

但是make命令中的有幾個引數並不往下傳遞,它們是“-C”,“-f”,“-h”“-o”和“-W”(有關Makefile引數的細節將在後面說明),如果你不想往下層傳遞引數,那麼,你可以這樣來:

   

   subsystem:

           cd subdir && $(MAKE) MAKEFLAGS=

如果你定義了環境變數MAKEFLAGS,那麼你得確信其中的選項是大家都會用到的,如果其中有“-t”,“-n”,和“-q”引數,那麼將會有讓你意想不到的結果,或許會讓你異常地恐慌。

還有一個在“巢狀執行”中比較有用的引數,“-w”或是“--print-directory”會在make的過程中輸出一些資訊,讓你看到目前的工作目錄。比如,如果我們的下級make目錄是“/home/hchen/gnu/make”,如果我們使用“make -w”來執行,那麼當進入該目錄時,我們會看到:

      make: Entering directory `/home/hchen/gnu/make'.

而在完成下層make後離開目錄時,我們會看到:   

   make: Leaving directory `/home/hchen/gnu/make'

當你使用“-C”引數來指定make下層Makefile時,“-w”會被自動開啟的。如果引數中有“-s”(“--slient”)或是“--no-print-directory”,那麼,“-w”總是失效的。

4.5 定義命令包

如果Makefile中出現一些相同命令序列,那麼我們可以為這些相同的命令序列定義一個變數。定義這種命令序列的語法以“define”開始,以“endef”結束,如:

   define run-yacc

   yacc $(firstword $^)

   mv y.tab.c $@

   endef

這裡,“run-yacc”是這個命令包的名字,其不要和Makefile中的變數重名。在“define”和“endef”中的兩行就是命令序列。這個命令包中的第一個命令是執行Yacc程式,因為Yacc程式總是生成“y.tab.c”的檔案,所以第二行的命令就是把這個檔案改改名字。還是把這個命令包放到一個示例中來看看吧。

   foo.c : foo.y

           $(run-yacc)

我們可以看見,要使用這個命令包,我們就好像使用變數一樣。在這個命令包的使用中,命令包“run-yacc”中的“$^”就是“foo.y”,“$@”就是“foo.c”(有關這種以“$”開頭的特殊變數,我們會在後面介紹),make在執行命令包時,命令包中的每個命令會被依次獨立執行。


 使用變數
————

       在 Makefile中的定義的變數,就像是C/C++語言中的巨集一樣,他代表了一個文字字串,在Makefile中執行的時候其會自動原模原樣地展開在所使用的地方。其與C/C++所不同的是,你可以在Makefile中改變其值。在Makefile中,變數可以使用在“目標”,“依賴目標”,“命令”或是 Makefile的其它部分中。變數的命名字可以包含字元、數字,下劃線(可以是數字開頭),但不應該含有“:”、“#”、“=”或是空字元(空格、回車等)。變數是大小寫敏感的,“foo”、“Foo”和“FOO”是三個不同的變數名。傳統的Makefile的變數名是全大寫的命名方式,但我推薦使用大小寫搭配的變數名,如:MakeFlags。這樣可以避免和系統的變數衝突,而發生意外的事情。有一些變數是很奇怪字串,如“$<”、“$@”等,這些是自動化變數,我會在後面介紹。

一、變數的基礎

    變數在宣告時需要給予初值,而在使用時,需要給在變數名前加上“$”符號,但最好用小括號“()”或是大括號“{}”把變數給包括起來。如果你要使用真實的“$”字元,那麼你需要用“$$”來表示。變數可以使用在許多地方,如規則中的“目標”、“依賴”、“命令”以及新的變數中。

先看一個例子:

objects = program.o foo.o utils.o
program : $(objects)
cc -o program $(objects)

$(objects) : defs.h

變數會在使用它的地方精確地展開,就像C/C++中的巨集一樣,例如:


foo = c
prog.o : prog.$(foo)
$(foo)$(foo) -$(foo) prog.$(foo)


展開後得到:

prog.o : prog.c
cc -c prog.c


當然,千萬不要在你的Makefile中這樣幹,這裡只是舉個例子來表明Makefile中的變數在使用處展開的真實樣子。可見其就是一個“替代”的原理。另外,給變數加上括號完全是為了更加安全地使用這個變數,在上面的例子中,如果你不想給變數加上括號,那也可以,但我還是強烈建議你給變數加上括號。

二、變數中的變數

在定義變數的值時,我們可以使用其它變數來構造變數的值,在Makefile中有兩種方式來在用變數定義變數的值。


先看第一種方式,也就是簡單的使用“=”號,在“=”左側是變數,右側是變數的值,右側變數的值可以定義在檔案的任何一處,也就是說,右側中的變數不一定非要是已定義好
的值,其也可以使用後面定義的值。如:

foo = $(bar)
bar = $(ugh)
ugh = Huh?


all:
echo $(foo)



我們執行“make all”將會打出變數$(foo)的值是“Huh?”( $(foo)的值是$(bar),$(bar)的值是$(ugh),$(ugh)的值是“Huh?”)可見,變數是可以使用後面的變數來定義的。
這個功能有好的地方,也有不好的地方,好的地方是,我們可以把變數的真實值推到後面來定義,如:

CFLAGS = $(include_dirs) -O
include_dirs = -Ifoo -Ibar



當“CFLAGS”在命令中被展開時,會是“-Ifoo -Ibar -O”。但這種形式也有不好的地方
,那就是遞迴定義,如:


CFLAGS = $(CFLAGS) -O


或:


A = $(B)
B = $(A)


這會讓make陷入無限的變數展開過程中去,當然,我們的make是有能力檢測這樣的定義,並會報錯。還有就是如果在變數中使用函式,那麼,這種方式會讓我們的make執行時非常慢,更糟糕的是,他會使用得兩個make的函式“wildcard”和“shell”發生不可預知的錯誤。因為你不會知道這兩個函式會被呼叫多少次。

為了避免上面的這種方法,我們可以使用make中的另一種用變數來定義變數的方法。這種方法使用的是“:=”操作符,如:


x := foo
y := $(x) bar
x := later


其等價於:


y := foo bar
x := later


值得一提的是,這種方法,前面的變數不能使用後面的變數,只能使用前面已定義好了的變數。如果是這樣:


y := $(x) bar
x := foo


那麼,y的值是“bar”,而不是“foo bar”。


上面都是一些比較簡單的變數使用了,讓我們來看一個複雜的例子,其中包括了make的函式、條件表示式和一個系統變數“MAKELEVEL”的使用:


ifeq (0,${MAKELEVEL})
cur-dir := $(shell pwd)
whoami := $(shell whoami)
host-type := $(shell arch)
MAKE := ${MAKE} host-type=${host-type} whoami=${whoami}
endif


關於條件表示式和函式,我們在後面再說,對於系統變數“MAKELEVEL”,其意思是,如果我們的make有一個巢狀執行的動作(參見前面的“巢狀使用make”),那麼,這個變數會記錄了我們的當前Makefile的呼叫層數。


下面再介紹兩個定義變數時我們需要知道的,請先看一個例子,如果我們要定義一個變數,其值是一個空格,那麼我們可以這樣來:

nullstring :=
space := $(nullstring) # end of the line


nullstring 是一個Empty變數,其中什麼也沒有,而我們的space的值是一個空格。因為在操作符的右邊是很難描述一個空格的,這裡採用的技術很管用,先用一個 Empty變數來標明變數的值開始了,而後面採用“#”註釋符來表示變數定義的終止,這樣,我們可以定義出其值是一個空格的變數。請注意這裡關於“#”的使用,註釋符“#”的這種特性值得我們注意,如果我們這樣定義一個變數:

dir := /foo/bar # directory to put the frobs in

dir這個變數的值是“/foo/bar”,後面還跟了4個空格,如果我們這樣使用這樣變數來指定別的目錄——“$(dir)/file”那麼就完蛋了。


還有一個比較有用的操作符是“?=”,先看示例:


FOO ?= bar


其含義是,如果FOO沒有被定義過,那麼變數FOO的值就是“bar”,如果FOO先前被定義過,那麼這條語將什麼也不做,其等價於:


ifeq ($(origin FOO), undefined)
FOO = bar
endif

三、變數高階用法


這裡介紹兩種變數的高階使用方法,第一種是變數值的替換。

我們可以替換變數中的共有的部分,其格式是“$(var:a=b)”或是“${var:a=b}”,其意思是,把變數“var”中所有以“a”字串“結尾”的“a”替換成“b”字串。這裡的“結尾”意思是“空格”或是“結束符”。

還是看一個示例吧:


foo := a.o b.o c.o
bar := $(foo:.o=.c)



這個示例中,我們先定義了一個“$(foo)”變數,而第二行的意思是把“$(foo)”中所有以“.o”字串“結尾”全部替換成“.c”,所以我們的“$(bar)”的值就是“a.c b.c c.c”。

另外一種變數替換的技術是以“靜態模式”(參見前面章節)定義的,如:


foo := a.o b.o c.o
bar := $(foo:%.o=%.c)


這依賴於被替換字串中的有相同的模式,模式中必須包含一個“%”字元,這個例子同樣讓$(bar)變數的值為“a.c b.c c.c”。


第二種高階用法是——“把變數的值再當成變數”。先看一個例子:


x = y
y = z
a := $($(x))


在這個例子中,$(x)的值是“y”,所以$($(x))就是$(y),於是$(a)的值就是“z”。(注意,是“x=y”,而不是“x=$(y)”)


我們還可以使用更多的層次:


x = y
y = z
z = u
a := $($($(x)))


這裡的$(a)的值是“u”,相關的推導留給讀者自己去做吧。

讓我們再複雜一點,使用上“在變數定義中使用變數”的第一個方式,來看一個例子:


x = $(y)
y = z
z = Hello
a := $($(x))


這裡的$($(x))被替換成了$($(y)),因為$(y)值是“z”,所以,最終結果是:a:=$(z),也就是“Hello”。


再複雜一點,我們再加上函式:


x = variable1
variable2 := Hello
y = $(subst 1,2,$(x))
z = y
a := $($($(z)))


這個例子中,“$($($(z)))”擴充套件為“$($(y))”,而其再次被擴充套件為“$($(subst 1,2,$(x)))”。$(x)的值是“variable1”,subst函式把“variable1”中的所有“1”字串替換成“2”字串,於是,“variable1”變成“variable2”,再取其值,所以,最終,$(a)的值就是$(variable2)的值—— “Hello”。(喔,好不容易)

在這種方式中,或要可以使用多個變數來組成一個變數的名字,然後再取其值:

first_second = Hello
a = first
b = second
all = $($a_$b)


這裡的“$a_$b”組成了“first_second”,於是,$(all)的值就是“Hello”。


再來看看結合第一種技術的例子:


a_objects := a.o b.o c.o
1_objects := 1.o 2.o 3.o


sources := $($(a1)_objects:.o=.c)


這個例子中,如果$(a1)的值是“a”的話,那麼,$(sources)的值就是“a.c b.c c.c”;如果$(a1)的值是“1”,那麼$(sources)的值是“1.c 2.c 3.c”。

再來看一個這種技術和“函式”與“條件語句”一同使用的例子:


ifdef do_sort
func := sort
else
func := strip
endif

bar := a d b g q c

foo := $($(func) $(bar))


這個示例中,如果定義了“do_sort”,那麼:foo := $(sort a d b g q c),於是$(foo)的值就是“a b c d g q”,而如果沒有定義“do_sort”,那麼:foo := $(sort a d bg q c),呼叫的就是strip函式。

當然,“把變數的值再當成變數”這種技術,同樣可以用在操作符的左邊:

dir = foo
$(dir)_sources := $(wildcard $(dir)/*.c)
define $(dir)_print
lpr $($(dir)_sources)
endef


這個例子中定義了三個變數:“dir”,“foo_sources”和“foo_print”。


四、追加變數值



我們可以使用“+=”操作符給變數追加值,如:


objects = main.o foo.o bar.o utils.o
objects += another.o

於是,我們的$(objects)值變成:“main.o foo.o bar.o utils.o another.o”(another.o被追加進去了)

使用“+=”操作符,可以模擬為下面的這種例子:


objects = main.o foo.o bar.o utils.o
objects := $(objects) another.o


所不同的是,用“+=”更為簡潔。


如果變數之前沒有定義過,那麼,“+=”會自動變成“=”,如果前面有變數定義,那麼“+=”會繼承於前次操作的賦值符。如果前一次的是“:=”,那麼“+=”會以“:=”作為其賦值符,如:

variable := value
variable += more


等價於:


variable := value
variable := $(variable) more


但如果是這種情況:


variable = value
variable += more


由於前次的賦值符是“=”,所以“+=”也會以“=”來做為賦值,那麼豈不會發生變數的遞補歸定義,這是很不好的,所以make會自動為我們解決這個問題,我們不必擔心這個問題。


五、override 指示符


如果有變數是通常make的命令列引數設定的,那麼Makefile中對這個變數的賦值會被忽略。如果你想在Makefile中設定這類引數的值,那麼,你可以使用“override”指示符。其語法是:

override <variable> = <value>
override <variable> := <value>


當然,你還可以追加:


override <variable> += <more text>


對於多行的變數定義,我們用define指示符,在define指示符前,也同樣可以使用ovveride指示符,如:


override define foo
bar
endef


六、多行變數


還有一種設定變數值的方法是使用define關鍵字。使用define關鍵字設定變數的值可以有換行,這有利於定義一系列的命令(前面我們講過“命令包”的技術就是利用這個關鍵字)。

define 指示符後面跟的是變數的名字,而重起一行定義變數的值,定義是以endef關鍵字結束。其工作方式和“=”操作符一樣。變數的值可以包含函式、命令、文字,或是其它變數。因為命令需要以[Tab]鍵開頭,所以如果你用define定義的命令變數中沒有以[Tab]鍵開頭,那麼make就不會把其認為是命令。

下面的這個示例展示了define的用法:


define two-lines
echo foo
echo $(bar)
endef


七、環境變數


make 執行時的系統環境變數可以在make開始執行時被載入到Makefile檔案中,但是如果Makefile中已定義了這個變數,或是這個變數由make命令列帶入,那麼系統的環境變數的值將被覆蓋。(如果make指定了“-e”引數,那麼,系統環境變數將覆蓋Makefile中定義的變數)

因此,如果我們在環境變數中設定了“CFLAGS”環境變數,那麼我們就可以在所有的Makefile中使用這個變數了。這對於我們使用統一的編譯引數有比較大的好處。如果Makefile中定義了CFLAGS,那麼則會使用Makefile中的這個變數,如果沒有定義則使用系統環境變數的值,一個共性和個性的統一,很像“全域性變數”和“區域性變數”的特性。     當make巢狀呼叫時(參見前面的“巢狀呼叫”章節),上層Makefile中定義的變數會以系統環境變數的方式傳遞到下層的Makefile中。當然,預設情況下,只有通過命令列設定的變數會被傳遞。而定義在檔案中的變數,如果要向下層 Makefile傳遞,則需要使用exprot關鍵字來宣告。(參見前面章節)

   當然,我並不推薦把許多的變數都定義在系統環境中,這樣,在我們執行不用的Makefile時,擁有的是同一套系統變數,這可能會帶來更多的麻煩。




八、目標變數



前面我們所講的在Makefile中定義的變數都是“全域性變數”,在整個檔案,我們都可以訪問這些變數。當然,“自動化變數”除外,如“$<”等這種類量的自動化變數就屬於“規則型變數”,這種變數的值依賴於規則的目標和依賴目標的定義。

當然,我樣同樣可以為某個目標設定區域性變數,這種變數被稱為“Target-specific Variable”,它可以和“全域性變數”同名,因為它的作用範圍只在這條規則以及連帶規則中,所以其值也只在作用範圍內有效。而不會影響規則鏈以外的全域性變數的值。

其語法是:


<target ...> : <variable-assignment>


<target ...> : overide <variable-assignment>


<variable-assignment>可以是前面講過的各種賦值表示式,如“=”、“:=”、“+=”或是“?=”。第二個語法是針對於make命令列帶入的變數,或是系統環境變數。

這個特性非常的有用,當我們設定了這樣一個變數,這個變數會作用到由這個目標所引發的所有的規則中去。如:

prog : CFLAGS = -g
prog : prog.o foo.o bar.o
$(CC) $(CFLAGS) prog.o foo.o bar.o


prog.o : prog.c
$(CC) $(CFLAGS) prog.c


foo.o : foo.c
$(CC) $(CFLAGS) foo.c


bar.o : bar.c
$(CC) $(CFLAGS) bar.c


在這個示例中,不管全域性的$(CFLAGS)的值是什麼,在prog目標,以及其所引發的所有規則中(prog.o foo.o bar.o的規則),$(CFLAGS)的值都是“-g”




九、模式變數


在GNU的make中,還支援模式變數(Pattern-specific Variable),通過上面的目標變數中,我們知道,變數可以定義在某個目標上。模式變數的好處就是,我們可以給定一種“模式”,可以把變數定義在符合這種模式的所有目標上。

我們知道,make的“模式”一般是至少含有一個“%”的,所以,我們可以以如下方式給所有以[.o]結尾的目標定義目標變數:


%.o : CFLAGS = -O


同樣,模式變數的語法和“目標變數”一樣:


<pattern ...> : <variable-assignment>


<pattern ...> : override <variable-assignment>


override同樣是針對於系統環境傳入的變數,或是make命令列指定的變數。


使用條件判斷
——————


使用條件判斷,可以讓make根據執行時的不同情況選擇不同的執行分支。條件表示式可以是比較變數的值,或是比較變數和常量的值。

一、示例


下面的例子,判斷$(CC)變數是否“gcc”,如果是的話,則使用GNU函式編譯目標。


libs_for_gcc = -lgnu
normal_libs =


foo: $(objects)
ifeq ($(CC),gcc)
$(CC) -o foo $(objects) $(libs_for_gcc)
else
$(CC) -o foo $(objects) $(normal_libs)
endif


可見,在上面示例的這個規則中,目標“foo”可以根據變數“$(CC)”值來選取不同的函式庫來編譯程式。

我們可以從上面的示例中看到三個關鍵字:ifeq、else和endif。ifeq的意思表示條件語句的開始,並指定一個條件表示式,表示式包含兩個引數,以逗號分隔,表示式以圓括號括起。else表示條件表示式為假的情況。endif表示一個條件語句的結束,任何一個條件表示式都應該以endif結束。

當我們的變數$(CC)值是“gcc”時,目標foo的規則是:


foo: $(objects)
$(CC) -o foo $(objects) $(libs_for_gcc)


而當我們的變數$(CC)值不是“gcc”時(比如“cc”),目標foo的規則是:

foo: $(objects)
$(CC) -o foo $(objects) $(normal_libs)


當然,我們還可以把上面的那個例子寫得更簡潔一些:


libs_for_gcc = -lgnu
normal_libs =


ifeq ($(CC),gcc)
libs=$(libs_for_gcc)
else
libs=$(normal_libs)
endif


foo: $(objects)
$(CC) -o foo $(objects) $(libs)




二、語法


條件表示式的語法為:


<conditional-directive>
<text-if-true>
endif


以及:


<conditional-directive>
<text-if-true>
else
<text-if-false>
endif


其中<conditional-directive>表示條件關鍵字,如“ifeq”。這個關鍵字有四個。

第一個是我們前面所見過的“ifeq”


ifeq (<arg1>, <arg2> )
ifeq '<arg1>' '<arg2>'
ifeq "<arg1>" "<arg2>"
ifeq "<arg1>" '<arg2>'
ifeq '<arg1>' "<arg2>"


比較引數“arg1”和“arg2”的值是否相同。當然,引數中我們還可以使用make的函式。如:


ifeq ($(strip $(foo)),)
<text-if-empty>
endif


這個示例中使用了“strip”函式,如果這個函式的返回值是空(Empty),那麼<text-if-empty>就生效。

第二個條件關鍵字是“ifneq”。語法是:


ifneq (<arg1>, <arg2> )
ifneq '<arg1>' '<arg2>'
ifneq "<arg1>" "<arg2>"
ifneq "<arg1>" '<arg2>'
ifneq '<arg1>' "<arg2>"


其比較引數“arg1”和“arg2”的值是否相同,如果不同,則為真。和“ifeq”類似。




第三個條件關鍵字是“ifdef”。語法是:


ifdef <variable-name>


如果變數<variable-name>的值非空,那到表示式為真。否則,表示式為假。當然,<variable-name>同樣可以是一個函式的返回值。注意,ifdef只是測試一個變數是否有值,其並不會把變數擴充套件到當前位置。還是來看兩個例子:


示例一:
bar =
foo = $(bar)
ifdef foo
frobozz = yes
else
frobozz = no
endif


示例二:
foo =
ifdef foo
frobozz = yes
else
frobozz = no
endif


第一個例子中,“$(frobozz)”值是“yes”,第二個則是“no”。


第四個條件關鍵字是“ifndef”。其語法是:


ifndef <variable-name>


這個我就不多說了,和“ifdef”是相反的意思。


在<conditional-directive>這一行上,多餘的空格是被允許的,但是不能以[Tab]鍵做為開始(不然就被認為是命令)。而註釋符“#”同樣也是安全的。“else”和“endif”也
一樣,只要不是以[Tab]鍵開始就行了。

特別注意的是,make是在讀取Makefile時就計算條件表示式的值,並根據條件表示式的值來選擇語句,所以,你最好不要把自動化變數(如“$@”等)放入條件表示式中,因為自動化變數是在執行時才有的。

而且,為了避免混亂,make不允許把整個條件語句分成兩部分放在不同的檔案中。





使用函式
————



在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 h
acks”。


$(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函式的返回,所以,$(f
iles)的值是“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”引數也行)。例如,我們有個mak
efile的名字是“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-D
OS中是無用的)


“-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 -q
p”命令。如果你想檢視執行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的編譯器生成f
oo.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是:haoel@hotmail.com(常用),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。


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


相關文章