option('with_proxy', type : 'boolean', value : true)
option('with_gtk_app', type : 'boolean', value : true)
option('with_setup_app', type : 'boolean', value : true)
option('man-pages', type: 'feature', value: 'auto', description: 'Generate and install man pages')