config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jan 17 23:06:02 2010 +0100 (2010-01-17)
changeset 1740 c57458bb354d
parent 1535 073d351bdcd3
child 1873 4477403726db
permissions -rw-r--r--
configure: do not require hg when configuring in an hg clone

When configuring in an hg clone, we need hg to compute the version string.
It can happen that users do not have Mercurial (eg. if they got a snapshot
rather that they did a full clone). In this case, we can still run, of
course, so simply fill the version string with a sufficiently explicit
value, that does not require hg. The date is a good candidate.
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config GMP_V_4_3_1
    10     bool
    11     prompt "4.3.1"
    12 
    13 config GMP_V_4_3_0
    14     bool
    15     prompt "4.3.0"
    16 
    17 config GMP_V_4_2_4
    18     bool
    19     prompt "4.2.4 (OBSOLETE)"
    20     depends on OBSOLETE
    21 
    22 config GMP_V_4_2_2
    23     bool
    24     prompt "4.2.2 (OBSOLETE)"
    25     depends on OBSOLETE
    26 
    27 endchoice
    28 
    29 config GMP_VERSION
    30     string
    31 # Don't remove next line
    32 # CT_INSERT_VERSION_STRING_BELOW
    33     default "4.3.1" if GMP_V_4_3_1
    34     default "4.3.0" if GMP_V_4_3_0
    35     default "4.2.4" if GMP_V_4_2_4
    36     default "4.2.2" if GMP_V_4_2_2