[Next] [Previous] [Up] [Top]

2.4 Compiler options

2.4.1 General commands

Compiler options control various aspects of compilation, such as optimization level, verboseness of messages, gen directory, etc. The following commands are used to display and modify options:

For convenience, Vortex> optname is a shortcut for show optname; Vortex> optname optvalue is short for set optname optvalue.

Each option receives a default value upon start-up. The current option values are by default part of the compiler state saved in a checkpoint. For more options and option-related commands, see: