System Properties

The following properties that affect Frege can be passed to the java command with the -D flag:

Property	Type	Default	Purpose	Affected
frege.javac	String	javac	specify path and options of the program that is called by the Frege compiler to compile Java source code.	Compiler
frege.prelude	String	frege.Prelude	name of module that is imported automatically in non-prelude packages	Compiler
frege.parallel	Bool	true	run Frege programs in a fork/join task	All programs