System Properties

Ingo Wechsung edited this page Aug 4, 2015 · 3 revisions

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
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.