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')
