Ciao, Il Mer, 14 Marzo 2018 7:10 pm, Niels Möller ha scritto: > Patch below.
> diff -Nprc2 gmp.384bf781a7ee/printf/repl-vsnprintf.c > gmp/printf/repl-vsnprintf.c > *** gmp.384bf781a7ee/printf/repl-vsnprintf.c 2018-03-14 19:06:44.147928820 > +0100 > --- gmp/printf/repl-vsnprintf.c 2018-03-14 19:06:44.163928775 +0100 > *************** see https://www.gnu.org/licenses/. */ > *** 45,51 **** > #include <stdlib.h> > > - #if HAVE_FLOAT_H > #include <float.h> /* for DBL_MAX_10_EXP etc */ > - #endif > > #if HAVE_INTTYPES_H > --- 45,49 ---- Maybe in printf/repl-vsnprintf.c we may also remove the #ifdef DBL_MAX_10_EXP and unconditionaly set double_digits = DBL_MAX_10_EXP. Ĝis, m -- http://bodrato.it/ _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel