option('docs', type: 'feature', value: 'auto', yield: true, | |
description : 'Generate documentation with Doxygen') | |
option('examples', type: 'feature', value: 'auto', yield: true, | |
description : 'Build examples') | |
option('utils', type: 'feature', value: 'auto', yield: true, | |
description : 'Build utility tools') |