bug-gmp
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

gmp.h depends on the architecture though installed under PREFIX


From: Vincent Lefevre
Subject: gmp.h depends on the architecture though installed under PREFIX
Date: Tue, 4 Mar 2003 15:48:34 +0100
User-agent: Mutt/1.5.3i

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).

I always use the following command to configure software I install
in my $HOME:

./configure --prefix=$HOME --exec-prefix=$HOME/$ARCHTYPE

which is consistent with the configure help:

Installation directories:
  --prefix=PREFIX         install architecture-independent files in PREFIX
                          [/usr/local]
  --exec-prefix=EPREFIX   install architecture-dependent files in EPREFIX
                          [PREFIX]

but with GMP, this leads to problems when using multiple
architectures.

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).

-- 
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA




reply via email to

[Prev in Thread] Current Thread [Next in Thread]