victor.su...@upc.edu writes: Hello, I have installed GMP 6.1.2 from source using default options for configure. As expected, in 'gmp.h' I find #define __GNU_MP_VERSION 6 #define __GNU_MP_VERSION_MINOR 1 #define __GNU_MP_VERSION_PATCHLEVEL 2 However, the following C code #include <stdlib.h> #include <stdio.h> #include <gmp.h> int main (void) { (void) printf ("GMP version: %s\n", gmp_version); return EXIT_SUCCESS; } yields 'GMP version: 6.1.0' instead of 'GMP version: 6.1.2'. Linking paths vary from system to system, so I cannot tell how you can tell the linker to find you newly compiled libgmp file and now the 6.1.0 ones that also clearly exist on your system.
(GMP does not influence these things, so no GMP bug here.) -- Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs