2018-05-14 13:15:52 +00:00
|
|
|
option('drivers',
|
2019-06-13 13:24:51 +00:00
|
|
|
description: 'Drivers to integrate, "default" selects the default set, "all" selects all drivers',
|
2018-05-14 13:15:52 +00:00
|
|
|
type: 'string',
|
2019-06-13 13:24:51 +00:00
|
|
|
value: 'default')
|
2018-05-14 13:15:52 +00:00
|
|
|
option('udev_rules',
|
|
|
|
description: 'Whether to create a udev rules file',
|
|
|
|
type: 'boolean',
|
|
|
|
value: true)
|
|
|
|
option('udev_rules_dir',
|
|
|
|
description: 'Installation path for udev rules',
|
|
|
|
type: 'string',
|
|
|
|
value: 'auto')
|
2018-10-08 14:33:04 +00:00
|
|
|
option('gtk-examples',
|
|
|
|
description: 'Whether to build GTK+ example applications',
|
|
|
|
type: 'boolean',
|
2019-01-21 14:37:04 +00:00
|
|
|
value: false)
|
2018-05-17 00:58:59 +00:00
|
|
|
option('doc',
|
|
|
|
description: 'Whether to build the API documentation',
|
|
|
|
type: 'boolean',
|
|
|
|
value: true)
|