2020-05-01 21:14:01 +02:00
|
|
|
option('build_testing', type: 'boolean', value: false)
|
2020-05-02 22:41:58 +02:00
|
|
|
option('build_examples', type: 'boolean', value: false)
|
2020-05-01 20:45:33 +02:00
|
|
|
option('wren_with_rand', type: 'boolean', value: false, yield: true)
|
|
|
|
|
option('wren_with_meta', type: 'boolean', value: false, yield: true)
|
