config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Sep 13 17:51:33 2009 +0200 (2009-09-13)
changeset 1534 d4ddf19a1968
parent 1522 aab8f20f3795
child 1535 073d351bdcd3
permissions -rw-r--r--
config: re-order menu entries so that latest versions are at the top

It makes better sense to have latest versions at the top of the choice
entries.
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@1380
     5
    prompt "CLooG/ppl version"
yann@1380
     6
yann@1534
     7
config CLOOG_V_0_15_7
yann@1380
     8
    bool
yann@1534
     9
    prompt "0.15.7"
yann@1534
    10
yann@1534
    11
config CLOOG_V_0_15_6
yann@1534
    12
    bool
yann@1534
    13
    prompt "0.15.6"
yann@1534
    14
yann@1534
    15
config CLOOG_V_0_15_5
yann@1534
    16
    bool
yann@1534
    17
    prompt "0.15.5"
yann@1380
    18
yann@1522
    19
config CLOOG_V_0_15_4
yann@1522
    20
    bool
yann@1522
    21
    prompt "0.15.4"
yann@1522
    22
yann@1534
    23
config CLOOG_V_0_15_3
yann@1522
    24
    bool
yann@1534
    25
    prompt "0.15.3"
yann@1522
    26
yann@1380
    27
# CT_INSERT_VERSION_ABOVE
yann@1380
    28
# Don't remove above line!
yann@1380
    29
endchoice
yann@1380
    30
yann@1380
    31
config CLOOG_VERSION
yann@1380
    32
    string
yann@1534
    33
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    34
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    35
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    36
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    37
    default "0.15.3" if CLOOG_V_0_15_3
yann@1380
    38
# CT_INSERT_VERSION_STRING_ABOVE
yann@1380
    39
# Don't remove above line!