1option('docs', type: 'feature', value: 'auto', yield: true, 2 description : 'Generate documentation with Doxygen') 3option('examples', type: 'feature', value: 'auto', yield: true, 4 description : 'Build examples') 5option('utils', type: 'feature', value: 'auto', yield: true, 6 description : 'Build utility tools') 7