On 2008-02-06 13:57:06 +0100, Manuel López-Ibáñez wrote: > See gcc/toplev.c (print_version) for the relevant code in GCC. (It > gives a warning when there is a mismatch between runtime and header > versions, otherwise it just prints the latter).
OK, I didn't see that there could be a warning. In fact, the cc1 binary that comes from the Debian package uses the MPFR library I've compiled (due to my LD_LIBRARY_PATH, though I set it for another purpose), but it happens to be the same version (however, perhaps not with the same configure options). -- 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)