diff options
Diffstat (limited to 'config/gmp_mpfr')
-rw-r--r-- | config/gmp_mpfr/gmp.in | 32 | ||||
-rw-r--r-- | config/gmp_mpfr/mpfr.in | 42 |
2 files changed, 0 insertions, 74 deletions
diff --git a/config/gmp_mpfr/gmp.in b/config/gmp_mpfr/gmp.in deleted file mode 100644 index 0ac2b2c..0000000 --- a/config/gmp_mpfr/gmp.in +++ /dev/null @@ -1,32 +0,0 @@ -# GMP options - -choice - bool - prompt "GMP version" - -config GMP_V_4_2_2 - bool - prompt "4.2.2" - -config GMP_V_4_2_4 - bool - prompt "4.2.4" - -# CT_INSERT_VERSION_ABOVE -# Don't remove above line! -endchoice - -config GMP_VERSION - string - default "4.2.2" if GMP_V_4_2_2 - default "4.2.4" if GMP_V_4_2_4 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! - -config GMP_CHECK - bool - prompt "Check GMP" - default y - help - It is highly recommended that 'make check' is run against the newly built - GMP library. See http://gmplib.org/ diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in deleted file mode 100644 index dcea326..0000000 --- a/config/gmp_mpfr/mpfr.in +++ /dev/null @@ -1,42 +0,0 @@ -# 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/ |