config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Nov 23 21:35:28 2010 +0100 (2010-11-23)
changeset 2188 aa2305c5b2a5
parent 1873 4477403726db
child 2206 2b5f5173daa0
permissions -rw-r--r--
scripts/xldd: better find sysroot with old gcc

Only starting with 4.4 does gcc have a -print-sysroot option.
For 4.3 or before, we have to play some tricks:
- ask gcc where libc.so is,
(we expect it in ${sysroot}/usr/lib/libc.so)
- trim /usr/lib/libc.so from the result

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config CLOOG_V_0_15_10
    10     bool
    11     prompt "0.15.10"
    12 
    13 config CLOOG_V_0_15_9
    14     bool
    15     prompt "0.15.9"
    16 
    17 config CLOOG_V_0_15_8
    18     bool
    19     prompt "0.15.8"
    20 
    21 config CLOOG_V_0_15_7
    22     bool
    23     prompt "0.15.7"
    24 
    25 config CLOOG_V_0_15_6
    26     bool
    27     prompt "0.15.6"
    28 
    29 config CLOOG_V_0_15_5
    30     bool
    31     prompt "0.15.5 (OBSOLETE)"
    32     depends on OBSOLETE
    33 
    34 config CLOOG_V_0_15_4
    35     bool
    36     prompt "0.15.4 (OBSOLETE)"
    37     depends on OBSOLETE
    38 
    39 config CLOOG_V_0_15_3
    40     bool
    41     prompt "0.15.3 (OBSOLETE)"
    42     depends on OBSOLETE
    43 
    44 endchoice
    45 
    46 config CLOOG_VERSION
    47     string
    48 # Don't remove next line
    49 # CT_INSERT_VERSION_STRING_BELOW
    50     default "0.15.10" if CLOOG_V_0_15_10
    51     default "0.15.9" if CLOOG_V_0_15_9
    52     default "0.15.8" if CLOOG_V_0_15_8
    53     default "0.15.7" if CLOOG_V_0_15_7
    54     default "0.15.6" if CLOOG_V_0_15_6
    55     default "0.15.5" if CLOOG_V_0_15_5
    56     default "0.15.4" if CLOOG_V_0_15_4
    57     default "0.15.3" if CLOOG_V_0_15_3