1 はじめに 1.1 Makefile とは プログラムが巨大化して,構成するファイルが多くなってくると,ソースファイルの間違いという原因以外に,一部のモジュールをコンパイルし忘れたことによる誤りが生じる恐れがある. このような手順を自動化するためのツールとして広く使われているのが make であり,make に与えるルールを記述するファイルが Makefile である. make は,与えられたルールから,目的とするファイルを作り出すために必要な処理の手順を,簡単な推論によって決定する. この際に,ファイルの更新時間を調べて不要なコマンドの実行をしないようにするので,単純なシェルスクリプトを使うよりも効率が良くなる. 1.2 GNU make make コマンドには,商用 Unix や BSD 系の Unix などに標準で入っているものの他に,GNU/Linux で採用されている GNU