makeの操作方法/using make
=========================

makeは、Makefileという名前のファイルに書かれた手順に従って、
プログラムのソースコードをコンパイルして、実行形式ファイルを
作成するコマンドラインのプログラムです。

ターゲットをビルドする/building a target
----------------------------------------

Makefileの中で最初に書かれているターゲットをビルドする:

Build the first target that appears in the Makefile::

    $ make

標準の名前の"Makefile"のかわりに、"Makefile.linux"というファイルを入力としてビルドする:

Instead of the standard named "Makefile", use a file named "Makefile.linux"
to build::

    $ make -f Makefile.linux

ターゲットを指定してビルドする/build a named target
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
"solver" という名前のターゲットをビルドする:

Build a target named "solver"::

    $ make solver

make変数に値を設定してビルドする/Assign value to a make variable
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Makefile内の変数 PRINT_LOG_LEVEL に "2" を代入してビルド:

Assign the value "2" to a variable "PRINT_LOG_LEVEL" in the Makefile and build::

    $ make PRINT_LOG_LEVEL=2