Inconsistency in version number.

[Torbjörn Granlund]

victor.sunye at 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