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 -aur ppl-0.10-orig/configure ppl-0.10/configure
2 --- ppl-0.10-orig/configure 2008-11-04 04:37:00.000000000 -0500
3 +++ ppl-0.10/configure 2013-07-15 18:48:26.688013150 -0400
4 @@ -15162,6 +15162,9 @@
5 with_libgmpxx_prefix="$with_libgmp_prefix"
8 +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
9 +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
10 +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
14 diff -aur ppl-0.10-orig/m4/ac_check_gmp.m4 ppl-0.10/m4/ac_check_gmp.m4
15 --- ppl-0.10-orig/m4/ac_check_gmp.m4 2008-10-22 07:43:22.000000000 -0400
16 +++ ppl-0.10/m4/ac_check_gmp.m4 2013-07-15 18:48:26.669013816 -0400
18 with_libgmpxx_prefix="$with_libgmp_prefix"
21 +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
22 +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
23 +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
25 dnl Check how to link with libgmp.
26 AC_LIB_LINKFLAGS([gmp])