# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1211406948 0
# Node ID 2d349a79c40d5a63709cbb9916c17547b2ad0ee5
# Parent  8031c8ac452a2d3e66862f914127831c1dca895e
Backport #657 from trunk:
  Build a thread-safe MPFR library.

 /branches/1.1/scripts/build/mpfr.sh |    1     1     0     0 +
 1 file changed, 1 insertion(+)

diff -r 8031c8ac452a -r 2d349a79c40d scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Thu May 15 21:09:50 2008 +0000
+++ b/scripts/build/mpfr.sh	Wed May 21 21:55:48 2008 +0000
@@ -31,6 +31,7 @@
         --build=${CT_BUILD}                                 \
         --host=${CT_HOST}                                   \
         --prefix="${CT_PREFIX_DIR}"                         \
+        --enable-thread-safe                                \
         --disable-shared --enable-static                    \
         --with-gmp="${CT_PREFIX_DIR}"                       2>&1 |CT_DoLog ALL