frege - 如何编译整个 Frege 源代码树

Question

按照 how to use multiple inline assertions in Frege 的回答我学会了如何编译两个 Frege 模块 A 和 B，其中 B 依赖于 A:你必须编译 B。如果给定 -make 选项，编译器会发现 B 依赖于 A，会在源路径上找到 A(-sp flag)，并会先编译 A，然后编译 B。

但是，我不能只将我关心的所有文件都交给编译器。将 A 和 B 都提供给编译器失败，对我来说出现“循环依赖”错误。而且我还发现无法为编译器提供目录(它什么也没做)。

看起来我必须知道依赖图的根才能正确编译所有需要编译的文件。但

我可能不知道根源。

可能有很多。

以这种方式进行适当的构建自动化非常困难。

是否有编译器选项的组合，我可以让编译器编译源树中的所有文件？

Answer 1

这个问题现在已经被 frege-maven-plugin 解决了:

https://github.com/Frege/frege-maven-plugin

这在 Maven 中心可用。