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')
|
2018-06-05 18:43:47 +00:00
|
|
|
option('crossbuild_windows', type: 'boolean', value: false, description: 'Build for Windows from Linux')
|
2018-05-27 19:30:32 +00:00
|
|
|
option('windows_noconsole', type: 'boolean', value: false, description: 'Disable console on Windows (pass -mwindows flag)')
|
2018-02-15 10:28:19 +00:00
|
|
|
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')
|