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)
|
2021-02-10 23:15:16 +01:00
|
|
|
option('wrenpp_with_python', type: 'feature', value: 'disabled')
|
