[GAP Forum] deactivate readline library

[Jerome BENOIT]

Hello Forum,

how can we deactivate the readline library ?

Thanks in advance,
Jerome

_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum