diff -aur ppl-0.10-orig/configure ppl-0.10/configure
--- ppl-0.10-orig/configure	2008-11-04 04:37:00.000000000 -0500
+++ ppl-0.10/configure	2013-07-15 18:48:26.688013150 -0400
@@ -15162,6 +15162,9 @@
     with_libgmpxx_prefix="$with_libgmp_prefix"
   fi
 fi
+CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
+CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
+LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
 
 
 
diff -aur ppl-0.10-orig/m4/ac_check_gmp.m4 ppl-0.10/m4/ac_check_gmp.m4
--- ppl-0.10-orig/m4/ac_check_gmp.m4	2008-10-22 07:43:22.000000000 -0400
+++ ppl-0.10/m4/ac_check_gmp.m4	2013-07-15 18:48:26.669013816 -0400
@@ -31,6 +31,9 @@
     with_libgmpxx_prefix="$with_libgmp_prefix"
   fi
 fi
+CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
+CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
+LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
 
 dnl Check how to link with libgmp.
 AC_LIB_LINKFLAGS([gmp])