On Tue, Jan 07, 2014 at 08:39:54PM +0100, Jerome BENOIT wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Hello, > > On 07/01/14 14:32, Bill Allombert wrote: > > On Tue, Jan 07, 2014 at 11:30:24AM +0100, Jerome Benoit wrote: > >> Package: gap-dev > >> Version: 4r6p5-3.1 > > >> Dear Maintainer, > >> > >> as GAP is built with GMP support, gmp.h is needed > >> for GAP development > > > > Could you be more specific ? It is needed for which operation ? > > It is needed to build some GAP package as IO: > /usr/lib/gap/src/compiled.h is included during the build of the SO module, > then /usr/lib/gap/src/gmpints.h, and gmp.h .
Well, I am still working in packaging IO for Debian. There are several changes I need to do to gap-dev before I can upoad io. Are you interested in helping with packaging some GAP module for Debian ? Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
