summaryrefslogtreecommitdiff
path: root/config/companion_libs/mpfr.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r--config/companion_libs/mpfr.in66
1 files changed, 1 insertions, 65 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index ce33b3d..5ed7ac8 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -1,67 +1,3 @@
# 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
+source "config/versions/mpfr.in"