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)
|
