2018-02-15 10:28:19 +00:00
|
|
|
option('build_app', type: 'boolean', value: true, description: 'Build the client')
|
|
|
|
option('build_server', type: 'boolean', value: true, description: 'Build the server')
|
|
|
|
option('prebuilt_server', type: 'string', description: 'Path of the prebuilt server')
|
2018-02-16 14:19:35 +00:00
|
|
|
option('override_server_path', type: 'string', description: 'Hardcoded path to find the server at runtime')
|
2018-02-15 10:28:19 +00:00
|
|
|
option('skip_frames', type: 'boolean', value: true, description: 'Always display the most recent frame')
|
2018-03-07 09:53:39 +00:00
|
|
|
option('hidpi_support', type: 'boolean', value: true, description: 'Enable High DPI support')
|