config/companion_libs/cloog.in
author Andy Gibbs <andyg1001@hotmail.co.uk>
Mon Nov 01 01:12:39 2010 +0100 (2010-11-01)
changeset 2170 4f8aa694f9c0
parent 1873 4477403726db
child 2206 2b5f5173daa0
permissions -rw-r--r--
contrib: fix gcc test suite on system without echo -e

Fix the use of quotes in contrib/gcc-test-suite/Makefile to solve the
problem where board.exp is incorrectly generated on some build systems
where 'echo -e' is not handled correctly.

Signed-off-by: Andy Gibbs <andyg1001@hotmail.co.uk>
[Yann E. MORIN: fix space damage, pretty-up the stuff]
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