2017-05-04 13:45:11 +02: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 05:06:13 -04:00
|
|
|
option('enable-timings', type: 'boolean', value: false, description: 'Timings output')
|
2017-05-04 13:45:11 +02: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')
|
