"build:" 在 java -cp 选项中是什么意思？

Question

我在学习弗雷格的时候看到了这个命令行：

$ java -Xss1m -cp build:fregec.jar examples.SimpleIO

我以前从未见过 build:。这是什么意思，它有什么作用？

更多上下文：https://github.com/Frege/frege/issues/289

我在 this official article 中或在命令行键入 java 时没有看到它。

Answer 1

: 是分隔符，因此它在 class 路径上包括 build 和 fregec.jar。

具体看弗雷格，你先用它来编译一些代码，然后在build目录下创建一些class个文件。例如：

java -Xss1m -jar fregec.jar -d build SimpleIO.fr

然后 运行 编译后的代码你需要 Frege 本身，以及你刚刚创建的 class 文件，在 class 路径：

java -Xss1m -cp build:fregec.jar examples.SimpleIO