2020-05-01 19:14:01 +00:00
|
|
|
option('build_testing', type: 'boolean', value: false)
|
2020-05-02 20:41:58 +00:00
|
|
|
option('build_examples', type: 'boolean', value: false)
|
2020-05-01 18:45:33 +00:00
|
|
|
option('wren_with_rand', type: 'boolean', value: false, yield: true)
|
|
|
|
|
option('wren_with_meta', type: 'boolean', value: false, yield: true)
|
2021-02-10 22:15:16 +00:00
|
|
|
option('wrenpp_with_python', type: 'feature', value: 'disabled')
|
