summaryrefslogtreecommitdiff
path: root/config/companion_libs/gmp.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r--config/companion_libs/gmp.in12
1 files changed, 0 insertions, 12 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 608752a..86f528d 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -26,16 +26,6 @@ config GMP_V_4_3_0
bool
prompt "4.3.0"
-config GMP_V_4_2_4
- bool
- prompt "4.2.4 (OBSOLETE)"
- depends on OBSOLETE
-
-config GMP_V_4_2_2
- bool
- prompt "4.2.2 (OBSOLETE)"
- depends on OBSOLETE
-
endchoice
config GMP_VERSION
@@ -47,5 +37,3 @@ config GMP_VERSION
default "4.3.2" if GMP_V_4_3_2
default "4.3.1" if GMP_V_4_3_1
default "4.3.0" if GMP_V_4_3_0
- default "4.2.4" if GMP_V_4_2_4
- default "4.2.2" if GMP_V_4_2_2