2021-03-27 23:56:11 +00:00
|
|
|
option('repl',
|
|
|
|
type: 'feature',
|
|
|
|
value: 'auto',
|
|
|
|
description: 'Enable the REPL (command line tool)'
|
|
|
|
)
|
|
|
|
|
2018-10-28 00:55:12 +00:00
|
|
|
option('readline',
|
2021-03-27 23:56:11 +00:00
|
|
|
type: 'feature',
|
|
|
|
value: 'auto',
|
2018-10-28 00:55:12 +00:00
|
|
|
description: 'Use GNU readline for the REPL'
|
|
|
|
)
|
|
|
|
|
|
|
|
option('linenoise',
|
2021-03-27 23:56:11 +00:00
|
|
|
type: 'feature',
|
|
|
|
value: 'auto',
|
2018-10-28 00:55:12 +00:00
|
|
|
description: 'Use linenoise for the REPL'
|
|
|
|
)
|