On 2006-12-02 11:41:48 -0800, Bruce Korb wrote: > Anyway, the whole deal about gmp-config is that mpfr should be doing > the equivalent of --with-gmp=`gmp-config --libdir` so that you > *don't* have the /usr/local headers and the /usr binary.
Assuming a gmp-config program is provided, the user can do that (or the package/port system if you prefer). Otherwise, if several GMP versions are installed, how would MPFR know which gmp-config to take? Using the default $PATH would be a non-standard behavior, IMHO. For instance, I sometimes install particular GMP versions in particular directories, that don't have a corresponding directory in $PATH. Also, --with-xxx=<DIR> options are buggy by design, since as soon as two such options are used, one of the directories will have the precedence over the other one, for *any* library, and this makes these options very confusing. Fortunately, MPFR has only one. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
