2017-05-04 11:45:11 +00:00
|
|
|
option('enable-drun', type: 'boolean', value: true, description: 'Desktop file mode')
|
|
|
|
option('enable-window', type: 'boolean', value: true, description: 'Window switcher mode')
|
2017-08-17 09:06:13 +00:00
|
|
|
option('enable-timings', type: 'boolean', value: false, description: 'Timings output')
|
2017-05-04 11:45:11 +00:00
|
|
|
option('enable-asan', type: 'boolean', value: false, description: 'Address sanitizer')
|
|
|
|
option('enable-check', type: 'boolean', value: true, description: 'Build and run libcheck-based tests')
|