1. ホーム
  2. makefile

[解決済み] .mkファイルとMakefileの違いについて

2022-03-06 02:57:26

質問

Androidの移植を勉強し始めたところです。そして、新しいタイプのファイルである.mkファイルに出会いました。これはMakefileの拡張子なのですが、Makefileと何が違うのかがわかりません。だから、誰かがそれらを明確にするのを助けることができます。どうもありがとうございました。

解決方法は?

A make ファイルは任意の名前を持つことができます。そのため -f のオプションは make は、使用するファイルを指定するために使用されます。

make -f foobar

を使用することもできます。 -f を複数回実行します。

make -f foo -f bar

この場合 make は、ファイルを順番に処理します(または、同等に、ファイルを連結してその結果を処理します)。

makefileMakefile が特殊な名前であるのは、もし make を使用せずに呼び出されます。 -f オプションを指定すると、自動的にこの順序で検索され、最初に見つかったものが使用されます。なお、GNU make はまた GNUmakefile よりも優先されます。 makefileMakefile . その他 make の実装は、他のデフォルト名を持つことができます。

.mk という拡張子は、デフォルトとは異なる名前を持つ make ファイルのための、多かれ少なかれ標準的な拡張子です。これらのファイルが何であるかを人間がすぐに理解できるようにしたいのであれば、妥当な拡張子です。 convert.mk よりも、より情報量が多い foobar . エディタによっては、この拡張子を利用してファイルの種類を識別し、シンタックスカラーリングを適用しています。通常、これらのエディタは makefileMakefile .