命令行 - "build:" java -cp 选项是什么意思？

Question

我正在学习Frege，看到这个命令行:

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

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

更多内容:https://github.com/Frege/frege/issues/289

我没有在这篇官方文章中看到它的文档，或者当我在命令行中输入java时。

Answer 1

:为分隔符，因此在类路径中包含build和fregec.jar。

具体来看Frege，首先使用它来编译一些代码，并在build目录中创建一些类文件。例如:

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

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

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