diff options
Diffstat (limited to 'config/companion_libs')
| -rw-r--r-- | config/companion_libs/cloog.in | 9 | ||||
| -rw-r--r-- | config/companion_libs/gmp.in | 6 | ||||
| -rw-r--r-- | config/companion_libs/mpc.in | 3 | ||||
| -rw-r--r-- | config/companion_libs/mpfr.in | 6 |
4 files changed, 16 insertions, 8 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 75ddb14..1786d81 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -16,15 +16,18 @@ config CLOOG_V_0_15_6 config CLOOG_V_0_15_5 bool - prompt "0.15.5" + prompt "0.15.5 (OBSOLETE)" + depends on OBSOLETE config CLOOG_V_0_15_4 bool - prompt "0.15.4" + prompt "0.15.4 (OBSOLETE)" + depends on OBSOLETE config CLOOG_V_0_15_3 bool - prompt "0.15.3" + prompt "0.15.3 (OBSOLETE)" + depends on OBSOLETE endchoice 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 diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in index 27e9b90..5318238 100644 --- a/config/companion_libs/mpc.in +++ b/config/companion_libs/mpc.in @@ -12,7 +12,8 @@ config MPC_V_0_7 config MPC_V_0_6 bool - prompt "0.6" + prompt "0.6 (OBSOLETE)" + depends on OBSOLETE endchoice diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 61f057a..118e229 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -16,11 +16,13 @@ config MPFR_V_2_4_0 config MPFR_V_2_3_2 bool - prompt "2.3.2" + prompt "2.3.2 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_3_1 bool - prompt "2.3.1" + prompt "2.3.1 (OBSOLETE)" + depends on OBSOLETE endchoice |