Bug#681589: givaro: uses system include syntax for local header

[Lifeng Sun]

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


--