2019-07-14 09:29:23 -04:00
|
|
|
option('external_fmt', type: 'boolean', value: false)
|
2019-09-18 08:01:23 -04:00
|
|
|
option('enable_examples', type: 'boolean', value: true)
|
2019-06-30 10:27:28 -04:00
|
|
|
option('enable_benchmarks', type: 'boolean', value: false)
|
|
|
|
|
option('enable_tests', type: 'boolean', value: false)
|
2019-07-20 05:43:26 -04:00
|
|
|
option('library_type', type: 'combo', choices: ['static', 'shared'], value: 'static')
|
2019-09-18 08:01:23 -04:00
|
|
|
option('no_exceptions', type: 'boolean', value: false)
|
