option('with-drm', type: 'feature', value: 'auto', description: 'Enable DRM backend') option('man', type: 'boolean', value: true, description: 'Install manual pages')