define_option with-readline 'GNU-Readline support?' yesnodir no \
'    Whether to build the readline extension.'