config/companion_libs/cloog.in
author "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Fri Sep 21 16:26:10 2012 +0200 (2012-09-21)
changeset 3056 df33992f9614
parent 2853 5182fa901f30
child 3218 3709e61ad85b
permissions -rw-r--r--
kernel/linux: update revisions

Update Linux with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <f87414d1b7f0d5d417b7.1348237635@advdt005-ubuntu>
PatchWork-ID: 185747
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@2957
    11
    prompt "0.15.11"
yann@2758
    12
    select CLOOG_0_15_1x
yann@2435
    13
yann@2157
    14
config CLOOG_V_0_15_10
yann@2157
    15
    bool
yann@2157
    16
    prompt "0.15.10"
yann@2758
    17
    select CLOOG_0_15_1x
yann@2157
    18
yann@1873
    19
config CLOOG_V_0_15_9
yann@1873
    20
    bool
yann@1873
    21
    prompt "0.15.9"
yann@1873
    22
yann@1873
    23
config CLOOG_V_0_15_8
yann@1873
    24
    bool
yann@1873
    25
    prompt "0.15.8"
yann@1873
    26
yann@1534
    27
config CLOOG_V_0_15_7
yann@1380
    28
    bool
yann@1534
    29
    prompt "0.15.7"
yann@1534
    30
yann@1534
    31
config CLOOG_V_0_15_6
yann@1534
    32
    bool
yann@1534
    33
    prompt "0.15.6"
yann@1534
    34
yann@1380
    35
endchoice
yann@1380
    36
yann@1380
    37
config CLOOG_VERSION
yann@1380
    38
    string
yann@1535
    39
# Don't remove next line
yann@1535
    40
# CT_INSERT_VERSION_STRING_BELOW
yann@2435
    41
    default "0.15.11" if CLOOG_V_0_15_11
yann@2157
    42
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    43
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    44
    default "0.15.8" if CLOOG_V_0_15_8
yann@1534
    45
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    46
    default "0.15.6" if CLOOG_V_0_15_6
yann@2758
    47
yann@2758
    48
config CLOOG_0_15_1x
yann@2758
    49
    bool
yann@2758
    50
    select CLOOG_NEEDS_AUTORECONF
yann@2758
    51
yann@2758
    52
config CLOOG_NEEDS_AUTORECONF
yann@2758
    53
    bool