config/companion_libs/cloog.in
author "Benoît THÉBAUDEAU" <benoit.thebaudeau@advansee.com>
Thu Aug 18 16:05:48 2011 +0200 (2011-08-18)
changeset 2612 a52574521bea
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
debug/gdb: update GDB revisions

Update GDB with the latest available revisions.

Signed-off-by: "Benoît THÉBAUDEAU" <benoit.thebaudeau@advansee.com>
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@2435
     9
config CLOOG_V_0_15_11
yann@2435
    10
    bool
yann@2435
    11
    prompt "0.15.11 (EXPERIMENTAL)"
yann@2435
    12
    depends on EXPERIMENTAL
yann@2435
    13
yann@2157
    14
config CLOOG_V_0_15_10
yann@2157
    15
    bool
yann@2157
    16
    prompt "0.15.10"
yann@2157
    17
yann@1873
    18
config CLOOG_V_0_15_9
yann@1873
    19
    bool
yann@1873
    20
    prompt "0.15.9"
yann@1873
    21
yann@1873
    22
config CLOOG_V_0_15_8
yann@1873
    23
    bool
yann@1873
    24
    prompt "0.15.8"
yann@1873
    25
yann@1534
    26
config CLOOG_V_0_15_7
yann@1380
    27
    bool
yann@1534
    28
    prompt "0.15.7"
yann@1534
    29
yann@1534
    30
config CLOOG_V_0_15_6
yann@1534
    31
    bool
yann@1534
    32
    prompt "0.15.6"
yann@1534
    33
yann@1380
    34
endchoice
yann@1380
    35
yann@1380
    36
config CLOOG_VERSION
yann@1380
    37
    string
yann@1535
    38
# Don't remove next line
yann@1535
    39
# CT_INSERT_VERSION_STRING_BELOW
yann@2435
    40
    default "0.15.11" if CLOOG_V_0_15_11
yann@2157
    41
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    42
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    43
    default "0.15.8" if CLOOG_V_0_15_8
yann@1534
    44
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    45
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    46
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    47
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    48
    default "0.15.3" if CLOOG_V_0_15_3