-----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 > > This is not a Debian version... This is indeed a local version built with the patch attached to the Debian bug report #733672 . > >> Severity: important >> >> 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 . > At least gac does not need it. My current understanding is that gac allows to build compiled version of GAP script, what sounds as an internal development. The reported case deals with external development. > > Cheers, > Best wishes, Jerome -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJSzFf+AAoJEIC/w4IMSybj2I4IANZfsqUqnP6FKD7pI/AayF3y cAwrRrqyb5MRP2XlLwALKgEcBofZ7SX8X7FXYrhTSzuIz5eywHkj7uonEjctvI+i 5kmjB6qawqoDXIf0DMbhz5Xk9NAdlpIyp5w8dlWpyzS96tobKV1J2p2SAq1DAy/G LnEcf58/gHF785qyusH0G4mVBCZvfFurXHgJv1qc6POrPjcl/7OZC8ddf0tWDIJC OrN9Ff8gKQ8MGESec4+GGurNFjYE31E979r+8mckhQA0G77ArVIVr0vNJe4BI2vn py89EDTzU5bKCZaFzidfELfamSTisl/TeHKZjvriVa+DAC1zGn9S1eQk+hbM/Y0= =aqnJ -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
