Re: gmp.h depends on the architecture though installed under PREFIX

[Kevin Ryde]

Vincent Lefevre <address@hidden> writes:
>
> There is a serious bug in the GMP 4.1.2 installation procedure: the
> gmp.h header file depends on the architecture, but it is installed
> in an architecture-independent directory (PREFIX/include).

Hmm.  I guess $exec_prefix defaults to $prefix, so it wouldn't hurt to
use that, for the benefit of people who know what they're doing with
such stuff.

> Moreover, when using a gmp.h configured for a different architecture,
> the problem isn't detected by GMP. This led to incorrect results in
> my computations. Perhaps GMP should provide a macro that does some
> consistency checking between the gmp.h file and the library to make
> sure that the right gmp.h file is used (for instance, the values of
> GMP_LIMB_BITS, GMP_NAIL_BITS... could be contained in the library,
> so that a comparison could be performed).

Maybe, but we mainly rely on a correct installation in the first
place.

-- 
All followups to address@hidden please.