option('enable-doc', type : 'boolean', value : true, description : 'enable developer documentation')
option('enable-man', type : 'boolean', value : true, description : 'enable man pages')
option('enable-tests', type : 'boolean', value : true, description : 'enable tests')
option('enable-colorhug', type : 'boolean', value : true, description : 'enable ColorHug support')
option('enable-libelf', type : 'boolean', value : true, description : 'enable libelf support')
option('enable-uefi', type : 'boolean', value : true, description : 'enable UEFI support')
option('enable-dell', type : 'boolean', value : true, description : 'enable Dell-specific support')
option('enable-thunderbolt', type : 'boolean', value : true, description : 'enable Thunderbolt support')
option('enable-systemd', type : 'boolean', value : true, description : 'enable systemd support')
option('enable-consolekit', type : 'boolean', value : true, description : 'enable ConsoleKit support')
option('with-bootdir', type : 'string', value : '/boot/efi', description : 'Directory for EFI system partition')
