diff options
-rw-r--r-- | configure.ac | 14 | ||||
-rw-r--r-- | src/Makefile.am | 4 | ||||
-rw-r--r-- | src/erandom.c | 4 | ||||
-rw-r--r-- | src/get_f.c | 2 | ||||
-rw-r--r-- | src/gmp_op.c | 4 | ||||
-rw-r--r-- | src/mpfr-impl.h | 4 | ||||
-rw-r--r-- | src/mpfr.h | 32 | ||||
-rw-r--r-- | src/nrandom.c | 4 | ||||
-rw-r--r-- | src/printf.c | 5 | ||||
-rw-r--r-- | src/random_deviate.c | 3 | ||||
-rw-r--r-- | src/set_f.c | 2 | ||||
-rw-r--r-- | src/set_q.c | 4 | ||||
-rw-r--r-- | src/vasprintf.c | 5 | ||||
-rw-r--r-- | tests/mpf_compat.c | 8 | ||||
-rw-r--r-- | tests/mpfr_compat.c | 8 | ||||
-rw-r--r-- | tests/tcan_round.c | 2 | ||||
-rw-r--r-- | tests/terandom.c | 8 | ||||
-rw-r--r-- | tests/tfprintf.c | 2 | ||||
-rw-r--r-- | tests/tget_f.c | 8 | ||||
-rw-r--r-- | tests/tgmpop.c | 9 | ||||
-rw-r--r-- | tests/tgrandom.c | 2 | ||||
-rw-r--r-- | tests/tnrandom.c | 8 | ||||
-rw-r--r-- | tests/tprintf.c | 2 | ||||
-rw-r--r-- | tests/tset_f.c | 8 | ||||
-rw-r--r-- | tests/tset_q.c | 8 | ||||
-rw-r--r-- | tests/tsprintf.c | 2 |
26 files changed, 135 insertions, 27 deletions
diff --git a/configure.ac b/configure.ac index 1a53460bd..9e4d2941b 100644 --- a/configure.ac +++ b/configure.ac @@ -320,6 +320,17 @@ AC_ARG_ENABLE(float128, *) AC_MSG_ERROR([bad value for --enable-float128: yes or no]) ;; esac]) +test_libgmp=__gmpz_init + +AC_ARG_ENABLE(mini-gmp, + [--enable-mini-gmp build MPFR with mini-gmp [[default=no]]], + [ case $enableval in + yes) AC_DEFINE([WANT_MINI_GMP],1,[Use mini-gmp]) + test_libgmp=mpz_init;; + no) ;; + *) AC_MSG_ERROR([bad value for --enable-mini-gmp: yes or no]) ;; + esac]) + dnl Check if compiler is ICC, and if such a case, disable GCC dnl And add some specific flags. dnl Don't add Warnings Flags (Otherwise you'll get more than 20000 warnings). @@ -512,9 +523,8 @@ You probably need to change some of the GMP or MPFR compile options.])], [AC_MSG_RESULT([can't test])]) fi - dnl Check if we can link with GMP -AC_CHECK_LIB(gmp, __gmpz_init, [LIBS="-lgmp $LIBS"], +AC_CHECK_LIB(gmp, $test_libgmp, [LIBS="-lgmp $LIBS"], [AC_MSG_ERROR(libgmp not found or uses a different ABI (including static vs shared). Please read the INSTALL file -- see "In case of problem".)]) diff --git a/src/Makefile.am b/src/Makefile.am index 41a1b170a..6e02df98b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -16,7 +16,7 @@ EXTRA_DIST = round_raw_generic.c jyn_asympt.c x86/core2/mparam.h \ amd/amdfam10/mparam.h powerpc32/mparam.h hppa/mparam.h \ mips/mparam.h -include_HEADERS = mpfr.h mpf2mpfr.h +include_HEADERS = mpfr.h mpf2mpfr.h mpfr-mini-gmp.h BUILT_SOURCES = mparam.h @@ -58,7 +58,7 @@ sub_d.c d_sub.c mul_d.c div_d.c d_div.c li2.c rec_sqrt.c min_prec.c \ buildopt.c digamma.c bernoulli.c isregular.c set_flt.c get_flt.c \ scale2.c set_z_exp.c ai.c gammaonethird.c ieee_floats.h \ grandom.c fpif.c set_float128.c get_float128.c rndna.c nrandom.c \ -random_deviate.h random_deviate.c erandom.c +random_deviate.h random_deviate.c erandom.c mpfr-mini-gmp.c libmpfr_la_LIBADD = @LIBOBJS@ diff --git a/src/erandom.c b/src/erandom.c index f37623e17..20f17d1b8 100644 --- a/src/erandom.c +++ b/src/erandom.c @@ -52,6 +52,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., * asserts would be that the hardware generator was broken.) */ +/* this file cannot be compiled with mini-gmp since it relies on + mpfr_random_deviate_value which needs mpq_t */ +#ifndef WANT_MINI_GMP #include "random_deviate.h" /* true with prob exp(-x) */ @@ -99,3 +102,4 @@ mpfr_erandom (mpfr_t z, gmp_randstate_t r, mpfr_rnd_t rnd) mpfr_random_deviate_clear (x); return inex; } +#endif diff --git a/src/get_f.c b/src/get_f.c index 01885b892..794d94d55 100644 --- a/src/get_f.c +++ b/src/get_f.c @@ -22,6 +22,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #include "mpfr-impl.h" +#ifndef WANT_MINI_GMP /* Since MPFR-3.0, return the usual inexact value. The erange flag is set if an error occurred in the conversion (y is NaN, +Inf, or -Inf that have no equivalent in mpf) @@ -146,3 +147,4 @@ mpfr_get_f (mpf_ptr x, mpfr_srcptr y, mpfr_rnd_t rnd_mode) return inex; } +#endif diff --git a/src/gmp_op.c b/src/gmp_op.c index 1ff9989d4..0c2aa2f04 100644 --- a/src/gmp_op.c +++ b/src/gmp_op.c @@ -233,6 +233,7 @@ mpfr_muldiv_z (mpfr_ptr y, mpfr_srcptr x, mpz_srcptr n, mpz_srcptr d, } } +#ifndef WANT_MINI_GMP int mpfr_mul_q (mpfr_ptr y, mpfr_srcptr x, mpq_srcptr z, mpfr_rnd_t rnd_mode) { @@ -465,7 +466,9 @@ mpfr_cmp_q (mpfr_srcptr x, mpq_srcptr q) MPFR_SAVE_EXPO_FREE (expo); return res; } +#endif +#ifndef WANT_MINI_GMP int mpfr_cmp_f (mpfr_srcptr x, mpf_srcptr z) { @@ -487,3 +490,4 @@ mpfr_cmp_f (mpfr_srcptr x, mpf_srcptr z) MPFR_SAVE_EXPO_FREE (expo); return res; } +#endif diff --git a/src/mpfr-impl.h b/src/mpfr-impl.h index fca050fcb..50d4b6ff9 100644 --- a/src/mpfr-impl.h +++ b/src/mpfr-impl.h @@ -88,6 +88,10 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., # ifndef __GMP_H__ # include "gmp.h" # endif +/* if using mini-gmp, include missing definitions in mini-gmp */ +#ifdef WANT_MINI_GMP +# include "mpfr-mini-gmp.h" +#endif # ifndef __MPFR_H # include "mpfr.h" # endif diff --git a/src/mpfr.h b/src/mpfr.h index 56e4003b1..3a167ea6d 100644 --- a/src/mpfr.h +++ b/src/mpfr.h @@ -312,6 +312,9 @@ typedef enum { #if defined(__MPFR_WITHIN_MPFR) && __GMP_LIBGMP_DLL # define __MPFR_DECLSPEC __GMP_DECLSPEC_EXPORT #else +#ifndef __GMP_DECLSPEC +# define __GMP_DECLSPEC +#endif # define __MPFR_DECLSPEC __GMP_DECLSPEC #endif @@ -440,10 +443,15 @@ __MPFR_DECLSPEC int __MPFR_DECLSPEC void mpfr_set_nan _MPFR_PROTO ((mpfr_ptr)); __MPFR_DECLSPEC void mpfr_set_inf _MPFR_PROTO ((mpfr_ptr, int)); __MPFR_DECLSPEC void mpfr_set_zero _MPFR_PROTO ((mpfr_ptr, int)); + +#ifndef WANT_MINI_GMP + /* mini-gmp does not provide mpf_t, we disable the following functions */ __MPFR_DECLSPEC int mpfr_set_f _MPFR_PROTO ((mpfr_ptr, mpf_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_cmp_f _MPFR_PROTO ((mpfr_srcptr, mpf_srcptr)); __MPFR_DECLSPEC int mpfr_get_f _MPFR_PROTO ((mpf_ptr, mpfr_srcptr, mpfr_rnd_t)); +#endif __MPFR_DECLSPEC int mpfr_set_si _MPFR_PROTO ((mpfr_ptr, long, mpfr_rnd_t)); __MPFR_DECLSPEC int mpfr_set_ui _MPFR_PROTO ((mpfr_ptr, unsigned long, mpfr_rnd_t)); @@ -451,8 +459,20 @@ __MPFR_DECLSPEC int mpfr_set_si_2exp _MPFR_PROTO ((mpfr_ptr, long, mpfr_exp_t, mpfr_rnd_t)); __MPFR_DECLSPEC int mpfr_set_ui_2exp _MPFR_PROTO ((mpfr_ptr,unsigned long,mpfr_exp_t,mpfr_rnd_t)); +#ifndef WANT_MINI_GMP + /* mini-gmp does not provide mpq_t, we disable the following functions */ __MPFR_DECLSPEC int mpfr_set_q _MPFR_PROTO ((mpfr_ptr, mpq_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_mul_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, + mpq_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_div_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, + mpq_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_add_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, + mpq_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_sub_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, + mpq_srcptr, mpfr_rnd_t)); +__MPFR_DECLSPEC int mpfr_cmp_q _MPFR_PROTO ((mpfr_srcptr, mpq_srcptr)); +#endif __MPFR_DECLSPEC int mpfr_set_str _MPFR_PROTO ((mpfr_ptr, __gmp_const char *, int, mpfr_rnd_t)); __MPFR_DECLSPEC int @@ -769,18 +789,6 @@ __MPFR_DECLSPEC int mpfr_z_sub _MPFR_PROTO ((mpfr_ptr, mpz_srcptr, mpfr_srcptr, mpfr_rnd_t)); __MPFR_DECLSPEC int mpfr_cmp_z _MPFR_PROTO ((mpfr_srcptr, mpz_srcptr)); -__MPFR_DECLSPEC int mpfr_mul_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, - mpq_srcptr, mpfr_rnd_t)); -__MPFR_DECLSPEC int mpfr_div_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, - mpq_srcptr, mpfr_rnd_t)); -__MPFR_DECLSPEC int mpfr_add_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, - mpq_srcptr, mpfr_rnd_t)); -__MPFR_DECLSPEC int mpfr_sub_q _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, - mpq_srcptr, mpfr_rnd_t)); -__MPFR_DECLSPEC int mpfr_cmp_q _MPFR_PROTO ((mpfr_srcptr, mpq_srcptr)); - -__MPFR_DECLSPEC int mpfr_cmp_f _MPFR_PROTO ((mpfr_srcptr, mpf_srcptr)); - __MPFR_DECLSPEC int mpfr_fma _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, mpfr_srcptr, mpfr_srcptr, mpfr_rnd_t)); __MPFR_DECLSPEC int mpfr_fms _MPFR_PROTO ((mpfr_ptr, mpfr_srcptr, mpfr_srcptr, diff --git a/src/nrandom.c b/src/nrandom.c index 7d013093f..20d66599c 100644 --- a/src/nrandom.c +++ b/src/nrandom.c @@ -51,6 +51,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., * asserts would be that the hardware generator was broken.) */ +/* this file cannot be compiled with mini-gmp since it relies on + mpfr_random_deviate_value which needs mpq_t */ +#ifndef WANT_MINI_GMP #include "random_deviate.h" /* Algorithm H: true with probability exp(-1/2). */ @@ -177,3 +180,4 @@ mpfr_nrandom (mpfr_t z, gmp_randstate_t r, mpfr_rnd_t rnd) mpfr_random_deviate_clear (x); return inex; } +#endif diff --git a/src/printf.c b/src/printf.c index 0ac7c0276..a41b7e75d 100644 --- a/src/printf.c +++ b/src/printf.c @@ -24,8 +24,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #include "config.h" #endif -/* The mpfr_printf-like functions are defined only if <stdarg.h> exists */ -#ifdef HAVE_STDARG +/* The mpfr_printf-like functions are defined only if <stdarg.h> exists. + Since they use mpf_t, they cannot be defined with mini-gmp. */ +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) #include <stdarg.h> diff --git a/src/random_deviate.c b/src/random_deviate.c index 386a1db0c..217359933 100644 --- a/src/random_deviate.c +++ b/src/random_deviate.c @@ -36,6 +36,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., * is undefined if e <= RANDOM_CHUNK. */ +/* this file cannot compile with mini-gmp since it uses mpq_t */ +#ifndef WANT_MINI_GMP #define MPFR_NEED_LONGLONG_H #include "random_deviate.h" @@ -411,3 +413,4 @@ mpfr_random_deviate_value (int neg, unsigned long n, } return inex; } +#endif diff --git a/src/set_f.c b/src/set_f.c index 274710028..8cdb047b9 100644 --- a/src/set_f.c +++ b/src/set_f.c @@ -23,6 +23,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #define MPFR_NEED_LONGLONG_H #include "mpfr-impl.h" +#ifndef WANT_MINI_GMP int mpfr_set_f (mpfr_ptr y, mpf_srcptr x, mpfr_rnd_t rnd_mode) { @@ -97,3 +98,4 @@ mpfr_set_f (mpfr_ptr y, mpf_srcptr x, mpfr_rnd_t rnd_mode) return mpfr_check_range (y, inexact, rnd_mode); } +#endif diff --git a/src/set_q.c b/src/set_q.c index d03b3ca44..4d7d9a8ae 100644 --- a/src/set_q.c +++ b/src/set_q.c @@ -60,6 +60,7 @@ set_z (mpfr_ptr f, mpz_srcptr z, mp_size_t *zs) return -c; } +#ifndef WANT_MINI_GMP /* set f to the rational q */ int mpfr_set_q (mpfr_ptr f, mpq_srcptr q, mpfr_rnd_t rnd) @@ -129,5 +130,4 @@ mpfr_set_q (mpfr_ptr f, mpq_srcptr q, mpfr_rnd_t rnd) mpfr_clear (n); return inexact; } - - +#endif diff --git a/src/vasprintf.c b/src/vasprintf.c index 7b88b0dc0..7c03e625a 100644 --- a/src/vasprintf.c +++ b/src/vasprintf.c @@ -25,8 +25,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #include "config.h" #endif -/* The mpfr_printf-like functions are defined only if <stdarg.h> exists */ -#ifdef HAVE_STDARG +/* The mpfr_printf-like functions are defined only if <stdarg.h> exists. + Since they use mpf_t, they cannot be defined with mini-gmp. */ +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) #include <stdarg.h> diff --git a/tests/mpf_compat.c b/tests/mpf_compat.c index 259a3a342..a65987324 100644 --- a/tests/mpf_compat.c +++ b/tests/mpf_compat.c @@ -20,6 +20,14 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #define MPF #define mpf_free_str mpfr_free_str #include "mpf_compat.h" +#else +int +main() +{ + return 0; +} +#endif diff --git a/tests/mpfr_compat.c b/tests/mpfr_compat.c index 4854205e0..6ce0b96bb 100644 --- a/tests/mpfr_compat.c +++ b/tests/mpfr_compat.c @@ -20,6 +20,14 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #define MPFR #define mpf_free_str mpfr_free_str #include "mpf_compat.h" +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tcan_round.c b/tests/tcan_round.c index 0c7d269e1..8e3acfc3e 100644 --- a/tests/tcan_round.c +++ b/tests/tcan_round.c @@ -48,7 +48,9 @@ check_round_p (void) printf ("mpfr_round_p(%d) != mpfr_can_round(%d)!\n" "bn = %ld, err0 = %ld, prec = %lu\nbp = ", r1, r2, n, (long) err, (unsigned long) p); +#ifndef WANT_MINI_GMP gmp_printf ("%NX\n", buf, n); +#endif exit (1); } } diff --git a/tests/terandom.c b/tests/terandom.c index 7c42fa69b..7a609d02c 100644 --- a/tests/terandom.c +++ b/tests/terandom.c @@ -20,6 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" static void @@ -128,3 +129,10 @@ main (int argc, char *argv[]) tests_end_mpfr (); return 0; } +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tfprintf.c b/tests/tfprintf.c index 5941a2654..121f3aab0 100644 --- a/tests/tfprintf.c +++ b/tests/tfprintf.c @@ -20,7 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ -#ifdef HAVE_STDARG +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) #include <stdarg.h> #include <float.h> diff --git a/tests/tget_f.c b/tests/tget_f.c index 3da3e309e..3a655e595 100644 --- a/tests/tget_f.c +++ b/tests/tget_f.c @@ -20,6 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" /* Test that there is no lost of accuracy when converting a mpfr_t number @@ -384,3 +385,10 @@ main (void) tests_end_mpfr (); return 0; } +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tgmpop.c b/tests/tgmpop.c index 9808beb36..d4223a314 100644 --- a/tests/tgmpop.c +++ b/tests/tgmpop.c @@ -21,6 +21,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" #define CHECK_FOR(str, cond) \ @@ -1260,4 +1261,10 @@ main (int argc, char *argv[]) tests_end_mpfr (); return 0; } - +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tgrandom.c b/tests/tgrandom.c index bc29f329d..45cf1ba9b 100644 --- a/tests/tgrandom.c +++ b/tests/tgrandom.c @@ -77,7 +77,7 @@ test_grandom (long nbtests, mpfr_prec_t prec, mpfr_rnd_t rnd, } } -#ifdef HAVE_STDARG +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) if (verbose) { mpfr_init2 (av, prec); diff --git a/tests/tnrandom.c b/tests/tnrandom.c index e273857df..fe6d43d83 100644 --- a/tests/tnrandom.c +++ b/tests/tnrandom.c @@ -20,6 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" static void @@ -128,3 +129,10 @@ main (int argc, char *argv[]) tests_end_mpfr (); return 0; } +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tprintf.c b/tests/tprintf.c index e6c45e22a..58defba54 100644 --- a/tests/tprintf.c +++ b/tests/tprintf.c @@ -20,7 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ -#if HAVE_STDARG +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) #include <stdarg.h> #include <stddef.h> diff --git a/tests/tset_f.c b/tests/tset_f.c index ea618aa78..b88913810 100644 --- a/tests/tset_f.c +++ b/tests/tset_f.c @@ -20,6 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" int @@ -201,3 +202,10 @@ main (void) tests_end_mpfr (); return 0; } +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tset_q.c b/tests/tset_q.c index 548e553de..3c87040f4 100644 --- a/tests/tset_q.c +++ b/tests/tset_q.c @@ -20,6 +20,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ +#ifndef WANT_MINI_GMP #include "mpfr-test.h" static void @@ -165,3 +166,10 @@ main (void) tests_end_mpfr (); return 0; } +#else +int +main () +{ + return 0; +} +#endif diff --git a/tests/tsprintf.c b/tests/tsprintf.c index e9e6be1d0..e6e0e6fe8 100644 --- a/tests/tsprintf.c +++ b/tests/tsprintf.c @@ -21,7 +21,7 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ -#ifdef HAVE_STDARG +#if defined(HAVE_STDARG) && !defined(WANT_MINI_GMP) #include <stdarg.h> #include <float.h> |