| author | danielrubiob@gmail.com |
| Tue Feb 11 21:34:48 2014 +0100 (2014-02-11) | |
| changeset 3285 | a8cb9039fade |
| permissions | -rw-r--r-- |
| yann@3226 | 1 |
diff -aur ppl-0.10-orig/configure ppl-0.10/configure |
| yann@3226 | 2 |
--- ppl-0.10-orig/configure 2008-11-04 04:37:00.000000000 -0500 |
| yann@3226 | 3 |
+++ ppl-0.10/configure 2013-07-15 18:48:26.688013150 -0400 |
| yann@3226 | 4 |
@@ -15162,6 +15162,9 @@ |
| yann@3226 | 5 |
with_libgmpxx_prefix="$with_libgmp_prefix" |
| yann@3226 | 6 |
fi |
| yann@3226 | 7 |
fi |
| yann@3226 | 8 |
+CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include" |
| yann@3226 | 9 |
+CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include" |
| yann@3226 | 10 |
+LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib" |
| yann@3226 | 11 |
|
| yann@3226 | 12 |
|
| yann@3226 | 13 |
|
| yann@3226 | 14 |
diff -aur ppl-0.10-orig/m4/ac_check_gmp.m4 ppl-0.10/m4/ac_check_gmp.m4 |
| yann@3226 | 15 |
--- ppl-0.10-orig/m4/ac_check_gmp.m4 2008-10-22 07:43:22.000000000 -0400 |
| yann@3226 | 16 |
+++ ppl-0.10/m4/ac_check_gmp.m4 2013-07-15 18:48:26.669013816 -0400 |
| yann@3226 | 17 |
@@ -31,6 +31,9 @@ |
| yann@3226 | 18 |
with_libgmpxx_prefix="$with_libgmp_prefix" |
| yann@3226 | 19 |
fi |
| yann@3226 | 20 |
fi |
| yann@3226 | 21 |
+CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include" |
| yann@3226 | 22 |
+CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include" |
| yann@3226 | 23 |
+LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib" |
| yann@3226 | 24 |
|
| yann@3226 | 25 |
dnl Check how to link with libgmp. |
| yann@3226 | 26 |
AC_LIB_LINKFLAGS([gmp]) |