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-07-08 12:02:45 +02:00
|
|
|
option('enable-timings', type: 'boolean', value: false, description: 'Timimngs 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')
|
