diff options
author | Yann E. MORIN <devnull@localhost> | 2009-06-17 09:38:04 (GMT) |
---|---|---|
committer | Yann E. MORIN <devnull@localhost> | 2009-06-17 09:38:04 (GMT) |
commit | 302dd084c2e782ea5fdbde1db9f1b2bcda5ac83f (patch) | |
tree | 2bd1601131ca41844086fcdcaccffcc7438a66ee /config/companion_libs/mpfr.in | |
parent | a393a72f5f7b0f0f48f11782d70b255c6ca5f740 (diff) | |
parent | a7ff05b022a8db08185486fa0fbf324f2ecd9d3e (diff) |
[gcc] Merge the gcc-4.4 suport to the default branch, from 1407:83083566fdd0
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r-- | config/companion_libs/mpfr.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index dcea326..910ab4e 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -32,11 +32,3 @@ config MPFR_VERSION default "2.4.1" if MPFR_V_2_4_1 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! - -config MPFR_CHECK - bool - prompt "Check MPFR" - default y - help - It is highly recommended that 'make check' is run against the newly built - MPFR library. See http://gmplib.org/ |