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 --- a/m4/ac_check_gmp.m4~ 2011-02-27 04:07:47.000000000 -0500
2 +++ b/m4/ac_check_gmp.m4 2013-07-10 19:57:35.894457259 -0400
4 with_libgmpxx_prefix="$with_libgmp_prefix"
7 +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
8 +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
9 +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
11 AC_ARG_WITH(gmp-build,
12 AS_HELP_STRING([--with-gmp-build=DIR],
13 --- a/configure~ 2011-02-27 04:07:47.000000000 -0500
14 +++ b/configure 2013-07-10 19:57:35.894457259 -0400
15 @@ -10217,6 +10217,9 @@
16 with_libgmpxx_prefix="$with_libgmp_prefix"
19 +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
20 +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
21 +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
24 # Check whether --with-gmp-build was given.