option('install-tools', type: 'boolean', value: false)

option('docs',
       type: 'boolean', value: false,
       description: 'Build reference manual')

option('introspection',
       type: 'feature', value: 'auto',
       description: 'Generate gir data')