config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Sep 24 21:47:28 2011 +0200 (2011-09-24)
branch1.10
changeset 2678 564d1f3a849b
parent 2157 715544fc2fe9
child 2435 da167ec304be
permissions -rw-r--r--
1.10: close branch

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
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@2157
     9
config CLOOG_V_0_15_10
yann@2157
    10
    bool
yann@2157
    11
    prompt "0.15.10"
yann@2157
    12
yann@1873
    13
config CLOOG_V_0_15_9
yann@1873
    14
    bool
yann@1873
    15
    prompt "0.15.9"
yann@1873
    16
yann@1873
    17
config CLOOG_V_0_15_8
yann@1873
    18
    bool
yann@1873
    19
    prompt "0.15.8"
yann@1873
    20
yann@1534
    21
config CLOOG_V_0_15_7
yann@1380
    22
    bool
yann@1534
    23
    prompt "0.15.7"
yann@1534
    24
yann@1534
    25
config CLOOG_V_0_15_6
yann@1534
    26
    bool
yann@1534
    27
    prompt "0.15.6"
yann@1534
    28
yann@1380
    29
endchoice
yann@1380
    30
yann@1380
    31
config CLOOG_VERSION
yann@1380
    32
    string
yann@1535
    33
# Don't remove next line
yann@1535
    34
# CT_INSERT_VERSION_STRING_BELOW
yann@2157
    35
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    36
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    37
    default "0.15.8" if CLOOG_V_0_15_8
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