option('alignment-checks', type : 'boolean', value : false, yield : true, description : 'Enable runtime checks for cast alignment') option('extra-checks', type : 'boolean', value : false, yield : true, description : 'Enable extra checks on code') option('opus', type : 'feature', yield : true, description: 'Enable Opus audio codec') option('instrumentation', type : 'combo', value : 'no', choices : ['recorder', 'agent', 'no'], description: 'Enable instrumentation') option('smartcard', type : 'feature', yield : true, description : 'Enable smartcard support') option('python-checks', type : 'boolean', value : true, description : 'Enable checks for Python modules needed to build from git') option('manual', type : 'boolean', value : true, yield : true, description : 'Build SPICE manual') option('generate-code', type : 'combo', choices : ['all', 'server', 'client', 'none'], description : 'Which code should be built') option('tests', type : 'boolean', value : true, yield : true, description : 'Enable SPICE tests') option('spice-protocol-version', type : 'string', value : '0.1', # not existing low number version description : 'Minimal requested SPICE protocol version')