2019-07-14 07:29:23 -06:00
|
|
|
option('external_fmt', type: 'boolean', value: false)
|
2019-06-30 16:27:28 +02:00
|
|
|
option('enable_examples', type: 'boolean', value: false)
|
|
|
|
|
option('enable_benchmarks', type: 'boolean', value: false)
|
|
|
|
|
option('enable_tests', type: 'boolean', value: false)
|
