summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/companion_libs/cloog.in3
-rw-r--r--config/companion_libs/gmp.in6
-rw-r--r--config/companion_libs/mpc.in7
-rw-r--r--config/companion_libs/mpfr.in6
-rw-r--r--config/companion_libs/ppl.in9
5 files changed, 11 insertions, 20 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index d797b71..d2e6b0a 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -8,8 +8,7 @@ choice
config CLOOG_V_0_15_11
bool
- prompt "0.15.11 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.15.11"
select CLOOG_0_15_1x
config CLOOG_V_0_15_10
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index a968f5a..608752a 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -8,13 +8,11 @@ choice
config GMP_V_5_0_2
bool
- prompt "5.0.2 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "5.0.2"
config GMP_V_5_0_1
bool
- prompt "5.0.1 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "5.0.1"
config GMP_V_4_3_2
bool
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
index 38fc4cb..966fce7 100644
--- a/config/companion_libs/mpc.in
+++ b/config/companion_libs/mpc.in
@@ -8,13 +8,12 @@ choice
config MPC_V_0_9
bool
- prompt "0.9 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.9"
config MPC_V_0_8_2
bool
- prompt "0.8.2 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.8.2"
+
config MPC_V_0_8_1
bool
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index f4e39bc..ae01a8d 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -8,13 +8,11 @@ choice
config MPFR_V_3_1_0
bool
- prompt "3.1.0 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "3.1.0"
config MPFR_V_3_0_1
bool
- prompt "3.0.1 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "3.0.1"
config MPFR_V_3_0_0
bool
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
index c641a88..a6d4f70 100644
--- a/config/companion_libs/ppl.in
+++ b/config/companion_libs/ppl.in
@@ -8,20 +8,17 @@ choice
config PPL_V_0_11_2
bool
- prompt "0.11.2 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.11.2"
select PPL_0_11
config PPL_V_0_11_1
bool
- prompt "0.11.1 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.11.1"
select PPL_0_11
config PPL_V_0_11
bool
- prompt "0.11 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.11"
select PPL_0_11
config PPL_V_0_10_2