Module: ppl/ppl Branch: ppl-0_11-branch Commit: 83f416e885442110a6007591082fabef78d9676d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83f416e885442...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:23:28 2011 +0100

When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.

---

m4/ac_check_gmp.m4 | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index c5dd1c9..8c2af74 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -181,8 +181,8 @@ int main() { ac_cv_gmp_supports_exceptions=yes, AC_MSG_RESULT(no) ac_cv_gmp_supports_exceptions=no, - AC_MSG_RESULT([assuming not]) - ac_cv_gmp_supports_exceptions=no) + AC_MSG_RESULT([assuming yes]) + ac_cv_gmp_supports_exceptions=yes)

gmp_supports_exceptions=${ac_cv_gmp_supports_exceptions} if test x"$gmp_supports_exceptions" = xyes