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'
configure_out.gz
Description: GNU Zip compressed data
config.log.gz
Description: GNU Zip compressed data
_______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
