diff options
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.h | 19 |
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 |