1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch	Wed Jul 24 19:11:18 2013 +0200
     1.3 @@ -0,0 +1,26 @@
     1.4 +diff -aur ppl-0.10-orig/configure ppl-0.10/configure
     1.5 +--- ppl-0.10-orig/configure	2008-11-04 04:37:00.000000000 -0500
     1.6 ++++ ppl-0.10/configure	2013-07-15 18:48:26.688013150 -0400
     1.7 +@@ -15162,6 +15162,9 @@
     1.8 +     with_libgmpxx_prefix="$with_libgmp_prefix"
     1.9 +   fi
    1.10 + fi
    1.11 ++CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
    1.12 ++CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
    1.13 ++LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
    1.14 + 
    1.15 + 
    1.16 + 
    1.17 +diff -aur ppl-0.10-orig/m4/ac_check_gmp.m4 ppl-0.10/m4/ac_check_gmp.m4
    1.18 +--- ppl-0.10-orig/m4/ac_check_gmp.m4	2008-10-22 07:43:22.000000000 -0400
    1.19 ++++ ppl-0.10/m4/ac_check_gmp.m4	2013-07-15 18:48:26.669013816 -0400
    1.20 +@@ -31,6 +31,9 @@
    1.21 +     with_libgmpxx_prefix="$with_libgmp_prefix"
    1.22 +   fi
    1.23 + fi
    1.24 ++CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
    1.25 ++CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
    1.26 ++LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
    1.27 + 
    1.28 + dnl Check how to link with libgmp.
    1.29 + AC_LIB_LINKFLAGS([gmp])