2016-11-30 17:59:17 +10:00
|
|
|
option('udev-dir',
|
|
|
|
|
type: 'string',
|
2017-10-10 08:04:35 +10:00
|
|
|
value: '',
|
2016-11-30 17:59:17 +10:00
|
|
|
description: 'udev base directory [default=$prefix/lib/udev]')
|
|
|
|
|
option('libwacom',
|
|
|
|
|
type: 'boolean',
|
2017-10-10 08:04:35 +10:00
|
|
|
value: true,
|
2016-11-30 17:59:17 +10:00
|
|
|
description: 'Use libwacom for tablet identification (default=true)')
|
2017-05-24 10:36:44 +10:00
|
|
|
option('debug-gui',
|
2016-11-30 17:59:17 +10:00
|
|
|
type: 'boolean',
|
2017-10-10 08:04:35 +10:00
|
|
|
value: true,
|
2017-05-24 10:36:44 +10:00
|
|
|
description: 'Enable the "debug-gui" feature in the libinput tool [default=true]')
|
2017-06-20 11:14:25 +10:00
|
|
|
option('tests',
|
2016-11-30 17:59:17 +10:00
|
|
|
type: 'boolean',
|
2017-10-10 08:04:35 +10:00
|
|
|
value: true,
|
2016-11-30 17:59:17 +10:00
|
|
|
description: 'Build the tests [default=true]')
|
2017-06-20 11:17:39 +10:00
|
|
|
option('documentation',
|
|
|
|
|
type: 'boolean',
|
2017-10-10 08:04:35 +10:00
|
|
|
value: true,
|
2017-06-20 11:17:39 +10:00
|
|
|
description: 'Build the documentation [default=true]')
|