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])