If GNU make 3.81 is not found then build it as a companion tool.
Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
[yann.morin.1998@free.fr: add message "checking for make 3.81"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <8b8bf6998f3d239f6c74.1392920971@advancedsearch.virginmedia.com>
Patchwork-Id: 322302
1 diff --git a/mpz/remove.c b/mpz/remove.c
6 mpz_remove (mpz_ptr dest, mpz_srcptr src, mpz_srcptr f)
8 - mpz_t fpow[40]; /* inexhaustible...until year 2020 or so */
9 + mpz_t fpow[GMP_LIMB_BITS]; /* Really MP_SIZE_T_BITS */
11 unsigned long int pwr;
18 + pwr = (1L << p) - 1;
22 diff --git a/mpz/remove.c b/mpz/remove.c
26 mpz_tdiv_qr (x, rem, dest, fpow[p]);