【问题标题】:./configure set Makefile name./configure 设置 Makefile 名称
【发布时间】:2015-03-31 12:46:13
【问题描述】:

如果我运行./configure,它会自动创建一个名为“Makefile”的 Makefile。但是,在我调用./configure 的文件夹中,已经有一个 Makefile(它是我的“main”-Makefile)。是否有可能告诉./configure 它应该创建具有不同名称的Makefile(例如Makefile.1)?

我知道,我可以将我的“main”-Makefile 移动到不同的文件夹,但如果可能的话,我想避免这种情况。

感谢您的帮助!

【问题讨论】:

  • 那么你想用./configure创建的Makefile做什么呢? include 变成你自己的?

标签: linux makefile gnu configure


【解决方案1】:

即使您不想移动主 Makefile,您仍然可以将其重命名为“GNUmakefile”,它优先于“Makefile”。

也就是说,在项目目录中调用 make 将执行 GNUmakefile,而后者又可能会挂接到通过 make -f Makefile 生成的文件。

【讨论】:

    【解决方案2】:

    将您的 Makefile.in 重命名为 Makefile.1.in 并列出

    AC_CONFIG_FILES([
      Makefile.1
      ... other stuff ...
    ])
    

    在您的 configure.ac 中(并运行 autoreconf)。如果您使用的是 automake,请将您的 Makefile.am 重命名为 Makefile.1.am,而不是重命名生成的 Makefile.in

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2023-03-27
      • 1970-01-01
      • 2021-08-25
      • 1970-01-01
      • 1970-01-01
      • 2012-02-15
      • 1970-01-01
      • 2012-01-30
      相关资源
      最近更新 更多