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)
|
2022-05-15 18:12:20 +00:00
|
|
|
option('wren_with_rand', type: 'boolean', value: false)
|
|
|
|
|
option('wren_with_meta', type: 'boolean', value: false)
|
|
|
|
|
option('wrenpp_with_name_guessing', type: 'boolean', value: true)
|
2022-05-23 02:19:54 +00:00
|
|
|
option('wrenpp_with_sse42', type: 'boolean', value: true)
|
