【问题标题】:Choose between makefile and Makefile on Linux在 Linux 上的 makefile 和 Makefile 之间进行选择
【发布时间】:2014-02-03 20:39:13
【问题描述】:

我想在一个同时包含 Makefile 和 makefile 的目录中进行 make。默认情况下,它将执行makefile。我可以做些什么来代替执行 Makefile 吗?

提前致谢。

【问题讨论】:

  • 同时拥有Makefilemakefile 的合理理由是什么?这看起来很糟糕!
  • 使用CMake 和外源构建。
  • 嗯,我自己制作了makefile,只是想添加一些个人配置。并用它来调用默认的 Makefile

标签: linux gcc makefile


【解决方案1】:

简单的选择是使用-f

$ make -f Makefile

来自man 1 make(我猜是 GNU 制造的):

如果没有-f 选项,make 将按顺序查找makefile GNUmakefilemakefileMakefile

所以你将你的 Makefile 链接到名称 GNUmakefile。但我的建议是,如果您真的想要这个,请使用别名:

$ alias make='make -f Makefile'

【讨论】:

    【解决方案2】:

    阅读GNU make 文档。只需输入

     make -f Makefile
    

    您可能会考虑创建一个从 MakefileGNUmakefile 的符号链接,但我认为拥有多个类似 makefile 的文件很糟糕。

    同时拥有Makefilemakefile 会使您的项目不可读。请怜悯您的继任开发者。

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2015-05-18
      • 2011-02-20
      • 1970-01-01
      • 2014-02-16
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多