diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r-- | config/companion_libs/mpfr.in | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in deleted file mode 100644 index ce33b3d..0000000 --- a/config/companion_libs/mpfr.in +++ /dev/null @@ -1,67 +0,0 @@ -# GMP options - -choice - bool - prompt "MPFR version" -# Don't remove next line -# CT_INSERT_VERSION_BELOW - -config MPFR_V_3_1_5 - bool - prompt "3.1.5" - -config MPFR_V_3_1_3 - bool - prompt "3.1.3 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_3_1_2 - bool - prompt "3.1.2 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_3_1_0 - bool - prompt "3.1.0 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_3_0_1 - bool - prompt "3.0.1 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_3_0_0 - bool - prompt "3.0.0 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_2_4_2 - bool - prompt "2.4.2 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_2_4_1 - bool - prompt "2.4.1 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_2_4_0 - bool - prompt "2.4.0 (OBSOLETE)" - depends on OBSOLETE - -endchoice - -config MPFR_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "3.1.5" if MPFR_V_3_1_5 - default "3.1.3" if MPFR_V_3_1_3 - default "3.1.2" if MPFR_V_3_1_2 - default "3.1.0" if MPFR_V_3_1_0 - default "3.0.1" if MPFR_V_3_0_1 - default "3.0.0" if MPFR_V_3_0_0 - default "2.4.2" if MPFR_V_2_4_2 - default "2.4.1" if MPFR_V_2_4_1 - default "2.4.0" if MPFR_V_2_4_0 |