config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Jan 03 23:40:22 2011 +0100 (2011-01-03)
changeset 2267 7af68e6083aa
parent 2157 715544fc2fe9
child 2435 da167ec304be
permissions -rw-r--r--
libc-glibc: remove 2.3.6

This is an obsolete version which is no longer used by any sample (the only
user, the ia64 sample, has been removed).

It also makes the code path a bit complex, with twists just to accomodate
that version. Removing the version will make those twists go away, and
will ease commonalisation of glibc and eglibc in the future (hopefully!).

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