(M|m)akefile 语义是什么?

发布于 2024-07-08 20:44:46 字数 35 浏览 5 评论 0原文

使用 makefile 和 Makefile 有区别吗?

Is there a difference between using a makefile and a Makefile?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(4

鲜肉鲜肉永远不皱 2024-07-15 20:44:46

gmake 使用按以下顺序找到的第一个“make”文件:

GNUmakefile、makefile、Makefile

否则,它们在语义上是等效的。 如果您使用 GNU 扩展,GNU 建议仅使用 GNUmakefile。

来源

gmake uses the first "make" file found using the following order:

GNUmakefile, makefile, Makefile

Otherwise, they are semantically equivalent. GNU recommends only using GNUmakefile if you are using GNU extensions.

Source

勿忘初心 2024-07-15 20:44:46

不,没有。 即使在具有区分大小写的文件系统的平台上,“make”程序也会查找这两个名称。 GNU Make 首先检查“makefile”,然后检查“Makefile”(从技术上讲,它首先检查 GNUmakefile,但您不需要使用该名称)。

No, there is none. Even on platforms that have case-sensitive file systems, the 'make' program will look for both names. GNU Make checks for 'makefile' then for 'Makefile' (technically it checks for GNUmakefile first, but you should not need to use that name).

后eg是否自 2024-07-15 20:44:46

哎呀。 应该用谷歌搜索一下。

如果一个目录有一个 makefile 和一个 Makefile,gmake 将优先使用 makefile。

Oops. Should've Googled it.

If a directory has a makefile and a Makefile, gmake will take the makefile in preference.

稚然 2024-07-15 20:44:46

所以。 不知道 GNUmakefile。 谢谢特万福森! (-;

不知道 Gamecat 的建议,因为这与我测试时发现的相反。

谢谢 florin,你的建议也是我现在发现的。makefile

然后 Makefile (似乎被 GNUmakefile 取代。)

干杯,

罗布

So. Didn't know about GNUmakefile. Thanks tvanfosson! (-;

Don't know about Gamecat's suggestion as that is the opposite of what I found when I tested.

Thanks florin, your suggestion is what I've found as well now.

makefile then Makefile (superceded by GNUmakefile it seems.)

cheers,

Rob

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文