config/companion_libs/libelf.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Mar 30 22:31:49 2010 +0200 (2010-03-30)
changeset 1873 4477403726db
parent 1811 35cf5e2f110a
child 1919 57b3224f442a
permissions -rw-r--r--
complibs: update versions

GMP : 4.3.2, 5.0.1*
CLooG/PPL: 0.15.8 0.15.9
libelf : 0.8.13

*: patch series added
yann@245
     1
# libelf config file
yann@245
     2
yann@245
     3
choice
yann@245
     4
    bool
yann@245
     5
    prompt "libelf version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@245
     8
yann@1873
     9
config LIBELF_V_0_8_13
yann@1873
    10
    bool
yann@1873
    11
    prompt "0.8.13"
yann@1873
    12
yann@1562
    13
config LIBELF_V_0_8_12
yann@1562
    14
    bool
yann@1562
    15
    prompt "0.8.12"
yann@1562
    16
yann@1534
    17
config LIBELF_V_0_8_11
yann@1534
    18
    bool
yann@1534
    19
    prompt "0.8.11"
yann@1534
    20
yann@369
    21
config LIBELF_V_0_8_10
yann@369
    22
    bool
yann@1615
    23
    prompt "0.8.10 (OBSOLETE)"
yann@1615
    24
    depends on OBSOLETE
yann@369
    25
yann@245
    26
endchoice
yann@245
    27
yann@245
    28
config LIBELF_VERSION
yann@245
    29
    string
yann@1535
    30
# Don't remove next line
yann@1535
    31
# CT_INSERT_VERSION_STRING_BELOW
yann@1873
    32
    default "0.8.13" if LIBELF_V_0_8_13
yann@1562
    33
    default "0.8.12" if LIBELF_V_0_8_12
yann@1534
    34
    default "0.8.11" if LIBELF_V_0_8_11
yann@369
    35
    default "0.8.10" if LIBELF_V_0_8_10