[GAP Forum] deactivate readline library

Jerome BENOIT g6299304p at rezozer.net
Fri Aug 29 11:27:29 BST 2014


Hi,

On 29/08/14 12:16, Dima Pasechnik wrote:
> On Fri, Aug 29, 2014 at 12:00:18PM +0200, Jerome BENOIT wrote:
>>
>> In fact I was looking for softly terminating a gap session by sending a signal:
>> I guess that this kind a feature is not yet implemented.
> 
> by the way, are you aware of libGAP (https://bitbucket.org/vbraun/libgap)?

No, but it is good to know.


> It looks as if you try to have a way to control GAP from your application, 
> and having it as a shared library might help...

Indeed, but here I need to work only with the GAP material as distributed by the GAP team.

Thanks,
Jerome

> 
> just in case,
> Dima
>>
>> Thanks,
>> Jerome
>>



More information about the Forum mailing list