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