makefile扩展名
makefile扩展名
提问于 2010-05-03 13:34:44
我想创建一个makefile。所以我在记事本文件中写了说明。
但是当我保存这个文件时，我应该给它什么扩展名呢？
回答 4
Stack Overflow用户
回答已采纳
发布于 2010-05-03 13:39:35
如果您运行以下命令：
make这个程序将在你的目录中查找一个名为makefile的文件，然后执行它。如果您有多个makefile，则可以使用以下命令执行它们：
make -f MyMakefileStack Overflow用户
发布于 2017-06-13 20:08:31
默认情况下，GNU Make尝试一些特定的名称，不使用任何扩展名。您可以指定具有任何名称的文件。但是，如果您希望在某些编辑器中突出显示语法，则可以使用扩展。
在Geany编辑器中有一个用于识别make文件的通配符规则：
Make=*.mak;*.mk;GNUmakefile;makefile;Makefile;makefile.*;Makefile.*;Stack Overflow用户
发布于 2010-05-03 17:17:52
这听起来像是在运行Windows，在这种情况下，makefile通常会有一个.NMK后缀(因为它们是为与NMAKE一起使用的)。然而，在文明世界中，makefile通常没有后缀：makefile或Makefile是规范的文件名。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/2756290
复制相关文章
相似问题