config/companion_libs/cloog.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.
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@1380
     5
    prompt "CLooG/ppl version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1380
     8
yann@1534
     9
config CLOOG_V_0_15_7
yann@1380
    10
    bool
yann@1534
    11
    prompt "0.15.7"
yann@1534
    12
yann@1534
    13
config CLOOG_V_0_15_6
yann@1534
    14
    bool
yann@1534
    15
    prompt "0.15.6"
yann@1534
    16
yann@1534
    17
config CLOOG_V_0_15_5
yann@1534
    18
    bool
yann@1615
    19
    prompt "0.15.5 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@1380
    21
yann@1522
    22
config CLOOG_V_0_15_4
yann@1522
    23
    bool
yann@1615
    24
    prompt "0.15.4 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1522
    26
yann@1534
    27
config CLOOG_V_0_15_3
yann@1522
    28
    bool
yann@1615
    29
    prompt "0.15.3 (OBSOLETE)"
yann@1615
    30
    depends on OBSOLETE
yann@1522
    31
yann@1380
    32
endchoice
yann@1380
    33
yann@1380
    34
config CLOOG_VERSION
yann@1380
    35
    string
yann@1535
    36
# Don't remove next line
yann@1535
    37
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    38
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    39
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    40
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    41
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    42
    default "0.15.3" if CLOOG_V_0_15_3