config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 09 16:05:01 2010 +0100 (2010-01-09)
changeset 1719 5c0d326c2cea
parent 1535 073d351bdcd3
child 1873 4477403726db
permissions -rw-r--r--
libc/glibc: correctly handle dual-bitness archs

If the selected ARCH is dual-bitness (eg. supports 32- and 64-bit),
then we need to know the correct place where to fetch some headers.
Currently, this applies only to x86 variants: i386 and x86_64.
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@1534
     9
config CLOOG_V_0_15_7
yann@1380
    10
    bool
yann@1534
    11
    prompt "0.15.7"
yann@1534
    12
yann@1534
    13
config CLOOG_V_0_15_6
yann@1534
    14
    bool
yann@1534
    15
    prompt "0.15.6"
yann@1534
    16
yann@1534
    17
config CLOOG_V_0_15_5
yann@1534
    18
    bool
yann@1615
    19
    prompt "0.15.5 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@1380
    21
yann@1522
    22
config CLOOG_V_0_15_4
yann@1522
    23
    bool
yann@1615
    24
    prompt "0.15.4 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1522
    26
yann@1534
    27
config CLOOG_V_0_15_3
yann@1522
    28
    bool
yann@1615
    29
    prompt "0.15.3 (OBSOLETE)"
yann@1615
    30
    depends on OBSOLETE
yann@1522
    31
yann@1380
    32
endchoice
yann@1380
    33
yann@1380
    34
config CLOOG_VERSION
yann@1380
    35
    string
yann@1535
    36
# Don't remove next line
yann@1535
    37
# CT_INSERT_VERSION_STRING_BELOW
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