summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--configure.ac14
-rw-r--r--src/Makefile.am4
-rw-r--r--src/erandom.c4
-rw-r--r--src/get_f.c2
-rw-r--r--src/gmp_op.c4
-rw-r--r--src/mpfr-impl.h4
-rw-r--r--src/mpfr.h32
-rw-r--r--src/nrandom.c4
-rw-r--r--src/printf.c5
-rw-r--r--src/random_deviate.c3
-rw-r--r--src/set_f.c2
-rw-r--r--src/set_q.c4
-rw-r--r--src/vasprintf.c5
-rw-r--r--tests/mpf_compat.c8
-rw-r--r--tests/mpfr_compat.c8
-rw-r--r--tests/tcan_round.c2
-rw-r--r--tests/terandom.c8
-rw-r--r--tests/tfprintf.c2
-rw-r--r--tests/tget_f.c8
-rw-r--r--tests/tgmpop.c9
-rw-r--r--tests/tgrandom.c2
-rw-r--r--tests/tnrandom.c8
-rw-r--r--tests/tprintf.c2
-rw-r--r--tests/tset_f.c8
-rw-r--r--tests/tset_q.c8
-rw-r--r--tests/tsprintf.c2
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>