summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h')
-rw-r--r--Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h19
1 files changed, 5 insertions, 14 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h b/Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h
index 4564628770a..950ba41bc84 100644
--- a/Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h
+++ b/Build/source/libs/mpfr/mpfr-src/src/mpfr-mini-gmp.h
@@ -1,6 +1,6 @@
/* mpfr-mini-gmp.h -- Interface header for mini-gmp.
-Copyright 2014-2019 Free Software Foundation, Inc.
+Copyright 2014-2020 Free Software Foundation, Inc.
Contributed by the AriC and Caramba projects, INRIA.
This file is part of the GNU MPFR Library.
@@ -20,19 +20,6 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
-#include <stdlib.h> /* for size_t */
-#include "gmp.h"
-
-#ifndef gmp_version
-extern char gmp_version[];
-#endif
-
-#ifndef GMP_NUMB_BITS
-/* see https://gmplib.org/list-archives/gmp-bugs/2015-October/003755.html */
-#include <limits.h>
-#define GMP_NUMB_BITS (CHAR_BIT * sizeof(mp_limb_t))
-#endif
-
#ifndef mp_limb_signed_t
typedef long mp_limb_signed_t;
#endif
@@ -139,3 +126,7 @@ void mpn_tdiv_qr (mp_limb_t *, mp_limb_t *, mp_size_t,
#ifndef mpz_rrandomb
#define mpz_rrandomb mpz_urandomb
#endif
+
+#ifndef mpz_dump
+void mpz_dump (mpz_t);
+#endif