summaryrefslogtreecommitdiff
path: root/config/companion_libs
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-13 16:38:06 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-13 16:38:06 (GMT)
commit0c6375595702e370b3e5784eabdc87f0f5282fed (patch)
tree17070ee50f852e9e9a4d9457ec545e441126ac29 /config/companion_libs
parentcaeb4ada2387a8750acba9c514f0f356e142e777 (diff)
scripts: add new version at top of choice
Add new versions at the top of the choice menu, not at the bottom.
Diffstat (limited to 'config/companion_libs')
-rw-r--r--config/companion_libs/cloog.in8
-rw-r--r--config/companion_libs/gmp.in8
-rw-r--r--config/companion_libs/mpc.in8
-rw-r--r--config/companion_libs/mpfr.in8
-rw-r--r--config/companion_libs/ppl.in8
5 files changed, 20 insertions, 20 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 7ae6f87..75ddb14 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -3,6 +3,8 @@
choice
bool
prompt "CLooG/ppl version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
config CLOOG_V_0_15_7
bool
@@ -24,16 +26,14 @@ config CLOOG_V_0_15_3
bool
prompt "0.15.3"
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
endchoice
config CLOOG_VERSION
string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
default "0.15.7" if CLOOG_V_0_15_7
default "0.15.6" if CLOOG_V_0_15_6
default "0.15.5" if CLOOG_V_0_15_5
default "0.15.4" if CLOOG_V_0_15_4
default "0.15.3" if CLOOG_V_0_15_3
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index 5a8c78c..75628d9 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -3,6 +3,8 @@
choice
bool
prompt "GMP version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
config GMP_V_4_3_1
bool
@@ -20,15 +22,13 @@ config GMP_V_4_2_2
bool
prompt "4.2.2"
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
endchoice
config GMP_VERSION
string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
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
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
index 42d5a6f..27e9b90 100644
--- a/config/companion_libs/mpc.in
+++ b/config/companion_libs/mpc.in
@@ -3,6 +3,8 @@
choice
bool
prompt "MPC version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
config MPC_V_0_7
bool
@@ -12,13 +14,11 @@ config MPC_V_0_6
bool
prompt "0.6"
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
endchoice
config MPC_VERSION
string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
default "0.7" if MPC_V_0_7
default "0.6" if MPC_V_0_6
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 365cd4f..61f057a 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -3,6 +3,8 @@
choice
bool
prompt "MPFR version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
config MPFR_V_2_4_1
bool
@@ -20,15 +22,13 @@ config MPFR_V_2_3_1
bool
prompt "2.3.1"
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
endchoice
config MPFR_VERSION
string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
default "2.4.1" if MPFR_V_2_4_1
default "2.4.0" if MPFR_V_2_4_0
default "2.3.2" if MPFR_V_2_3_2
default "2.3.1" if MPFR_V_2_3_1
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
index efdeabf..8f32570 100644
--- a/config/companion_libs/ppl.in
+++ b/config/companion_libs/ppl.in
@@ -3,17 +3,17 @@
choice
bool
prompt "PPL version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
config PPL_V_0_10_2
bool
prompt "0.10.2"
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
endchoice
config PPL_VERSION
string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
default "0.10.2" if PPL_V_0_10_2
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!