有一个单独的目录来存储目标文件是很有用的。但是,如果目录不存在,gprbuild 会报错。我使用 hg 进行版本控制,它不允许您跟踪空目录(AFAIK git 也是如此),但即使这样做,也很遗憾不得不用空目录弄乱存储库。 gprbuild 有一个选项,--create-missing-dirs(简称 -p),它完全符合它在 jar 头上所说的。这非常有用。然而,我想知道的是,是否有某种方法可以在 .gpr 文件中设置它。不得不提醒我的用户使用 -p 选项进行编译,而不是仅能运行 gprbuild project ,这是令人讨厌的。不幸的是,gprguild 的文档是这样说的:



当然必须有一种方法来做我所描述的事情吗?

最佳答案

gprbuild 的最新版本(自 2016 年 8 月 19 日起,请参阅 Git )支持 Create_Missing_Dirs 属性。

project Foo is
   for Create_Missing_Dirs use "True";
   ...

GNAT GPL 2017 有这个。

关于ada - 在 gprbuild 文件中设置 --create-missing-dirs 选项,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/46520424/

10-12 22:31