Inconsistency in version number.

[victor.sunye at upc.edu]

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

Regards and many thanks for creating and maintaining GMP.

Víctor Suñé

Additional information:

- The code (call it 'gmp_version.c') was compiled using

  'gcc -g -Wall gmp_version.c -o gmp_version -lgmp'

  and run using

  './gmp_version'

- configure options used to build GMP: none.

- configure output: see attached file 'configure_out.gz'

- compiler:

  gcc

- compiler's version:

   5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.4)

- output from 'uname -a':

  Linux metfac-20 4.4.0-59-generic #80-Ubuntu SMP Fri Jan 6 17:47:47  
UTC 2017 x86_64 x86_64 x86_64 GNU/Linux

- output from 'config.guess':

  sandybridge-pc-linux-gnconfigfsf.guessuu

- output from 'configfsf.guess':

  x86_64-pc-linux-gnu

- config.log: see attached file 'config.log.gz'

 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: configure_out.gz
Type: application/x-gzip
Size: 4711 bytes
Desc: not available
URL: <https://gmplib.org/list-archives/gmp-bugs/attachments/20170207/be165e91/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.gz
Type: application/x-gzip
Size: 22691 bytes
Desc: not available
URL: <https://gmplib.org/list-archives/gmp-bugs/attachments/20170207/be165e91/attachment-0003.bin>