config/companion_libs/mpfr.in
changeset 1535 073d351bdcd3
parent 1534 d4ddf19a1968
child 1615 50b25816f5bb
     1.1 --- a/config/companion_libs/mpfr.in	Sun Sep 13 17:51:33 2009 +0200
     1.2 +++ b/config/companion_libs/mpfr.in	Sun Sep 13 18:38:06 2009 +0200
     1.3 @@ -3,6 +3,8 @@
     1.4  choice
     1.5      bool
     1.6      prompt "MPFR version"
     1.7 +# Don't remove next line
     1.8 +# CT_INSERT_VERSION_BELOW
     1.9  
    1.10  config MPFR_V_2_4_1
    1.11      bool
    1.12 @@ -20,15 +22,13 @@
    1.13      bool
    1.14      prompt "2.3.1"
    1.15  
    1.16 -# CT_INSERT_VERSION_ABOVE
    1.17 -# Don't remove above line!
    1.18  endchoice
    1.19  
    1.20  config MPFR_VERSION
    1.21      string
    1.22 +# Don't remove next line
    1.23 +# CT_INSERT_VERSION_STRING_BELOW
    1.24      default "2.4.1" if MPFR_V_2_4_1
    1.25      default "2.4.0" if MPFR_V_2_4_0
    1.26      default "2.3.2" if MPFR_V_2_3_2
    1.27      default "2.3.1" if MPFR_V_2_3_1
    1.28 -# CT_INSERT_VERSION_STRING_ABOVE
    1.29 -# Don't remove above line!