diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in new file mode 100644 index 0000000..dcea326 --- /dev/null +++ b/config/companion_libs/mpfr.in @@ -0,0 +1,42 @@ +# GMP options + +choice + bool + prompt "MPFR version" + +config MPFR_V_2_3_1 + bool + prompt "2.3.1" + +config MPFR_V_2_3_2 + bool + prompt "2.3.2" + +config MPFR_V_2_4_0 + bool + prompt "2.4.0" + +config MPFR_V_2_4_1 + bool + prompt "2.4.1" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config MPFR_VERSION + string + default "2.3.1" if MPFR_V_2_3_1 + default "2.3.2" if MPFR_V_2_3_2 + default "2.4.0" if MPFR_V_2_4_0 + 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/ |