Hi Neil, On 09:04 Sat 07/14/12 Jul , Neil Williams wrote: > givaro-3.7.0/src/kernel/gmp++/gmp++.h specifies an include for one of > it's own header files (gmpxx.h) using system include syntax instead of
Thanks for report. Actually gmpxx.h is a header file of libgmp-dev, and givaro contains no file named gmpxx.h, so IMHO this is not a bug. However, givaro-3.7.0/src/kernel/zpz/StaticElement.h does include givaro's own header file (gmp++.h) using system include syntax. I would like to fix it in the next upload (givaro_3.7.1-1). > 1: linbox and other packages which use givaro_check.m4 will fail to > build from source because gmpxx.h cannot be found by the configure > check. The FTBFS bug of linbox in sid is likely caused by givaro API incompatibility. I would file an RFS for linbox-1.3.2 to fix the bug if Vincent Danjean is no longer interested in this package (I got permission from Tim Abbott to adopt linbox and other SAGE-related packages). Thanks, Lifeng -- -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org