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') option('vapi', type: 'boolean', value: true) option('tracing', type: 'boolean', value: false, description: 'Enable developer tracing information in logs')