You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
313 B
7 lines
313 B
4 months ago
|
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')
|