summaryrefslogtreecommitdiff
path: root/config/companion_libs/gmp.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-10-28 18:15:50 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-10-28 18:15:50 (GMT)
commit0b6a9e5c74a9f0abfd00b67cf25d16990ceb38a8 (patch)
tree24c6517f482dcb133cb87b4c388cacfb255d8abb /config/companion_libs/gmp.in
parentac17b542fe3737eb3eb84fd30ada615a21e96b55 (diff)
config: mark now old versions as being OBSOLETE
These versions are kept for the upcoming release, but they will be removed from the next release if they are not used.
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r--config/companion_libs/gmp.in6
1 files changed, 4 insertions, 2 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 75628d9..6702492 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -16,11 +16,13 @@ config GMP_V_4_3_0
config GMP_V_4_2_4
bool
- prompt "4.2.4"
+ prompt "4.2.4 (OBSOLETE)"
+ depends on OBSOLETE
config GMP_V_4_2_2
bool
- prompt "4.2.2"
+ prompt "4.2.2 (OBSOLETE)"
+ depends on OBSOLETE
endchoice