[GAP Forum] deactivate readline library

[Dima Pasechnik]

Hi,
AFAIK, it's only possible to choose no readline at compilation time, 
there is no runtime switch for this.
HTH
Dima
On Fri, Aug 29, 2014 at 10:57:11AM +0200, Jerome BENOIT wrote:
> Hello Forum,
> 
> how can we deactivate the readline library ?
> 
> Thanks in advance,
> Jerome
> 
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum