option('disable_introspection',
type : 'boolean', value : false,
description : 'Whether to disable the introspection generation')
option('disable_gtkdoc',
type : 'boolean', value : false,
description : 'Whether to disable the documentation generation')