[debug]
long = --debug
#short
desc = Build cactus with debug symbols
negatable = yes
arg = no
default = False
#argformat

[unsafe]
long = --unsafe
#short
desc = Build cactus with unsafe options
negatable = yes
arg = no
default = False
#argformat

[optimise]
long = --optimise
#short
desc = Build cactus with optimization, disabled if debugging is enabled
negatable = yes
arg = no
default = True
#argformat

[profile]
long = --profile
#short
desc = Build cactus with profiling
negatable = yes
arg = no
default = False
#argformat

[reconfig]
long = --reconfig
#short
desc = Reconfig cactus before building
negatable = yes
arg = no
default = False
#argformat

[clean]
long = --clean
#short
desc = Clean cactus before building
negatable = yes
arg = no
default = False
#argformat

[optionlist]
long = --optionlist
#short
desc = OptionList file for building Cactus
negatable = no
arg = yes
argformat = <file>
argtype = string


[thornlist]
long = --thornlist
#short
desc = ThornList file for building Cactus
negatable = no
arg = yes
argformat = <file>
argtype = string

[remotemachine]
long = --remotemachine
desc = Build on a remote machine instead of the local machine
negatable = no
arg = yes
argformat = <machine>
argtype = string