summaryrefslogtreecommitdiff
path: root/config/companion_libs/mpfr.in
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/mpfr.in
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/mpfr.in')
-rw-r--r--config/companion_libs/mpfr.in8
1 files changed, 4 insertions, 4 deletions
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!