有一个单独的目录来存储目标文件是很有用的。但是,如果目录不存在,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/