diff options
Diffstat (limited to 'patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch')
| -rw-r--r-- | patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch b/patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch new file mode 100644 index 0000000..7f9d625 --- /dev/null +++ b/patches/ppl/0.10.2/200-fix-build-with-local-gmp.patch @@ -0,0 +1,26 @@ +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]) |